@hackage ersatz-toysat0.2.0.0

toysat driver as backend for ersatz

Categories
- Algorithms
License
BSD-3-Clause
Maintainer
masahiro.sakai@gmail.com
Links
Versions
- 0.2.2.0 Mon, 22 Aug 2022
- 0.2.1.0 Tue, 26 Jan 2016
- 0.2.0.0 Wed, 7 Jan 2015

ersatz-toysat

toysat driver as backend for ersatz

The contents of examples/ directory are copied from ersatz package and modified to use the toysat driver as backend.

examples

(off by default)

Build examples