@hackage toysolver0.0.4

Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Categories
- Algorithms
License
BSD-3-Clause
Maintainer
masahiro.sakai@gmail.com
Links
Versions
- 0.9.0 Fri, 21 Feb 2025
- 0.8.1 Fri, 16 Jun 2023
- 0.8.0 Fri, 16 Jun 2023
- 0.7.0 Fri, 16 Jun 2023
- 0.6.0 Fri, 16 Jun 2023
- 0.5.0 Thu, 18 Nov 2021

Installation
In your cabal file:
Dependencies (21)
- array
- base >=4 && <4.6
- bytestring
- containers >=0.4.2
- deepseq
- filepath
Dependents (4)
@hackage/satchmo-toysat, @hackage/acme-everything, @hackage/ersatz-toysat, @hackage/qhull

Package Flags

forcechar8

(off by default)

set default encoding to char8 (not to use iconv)

Toy-level implementation of some decision procedures