Flora :: [Package]

About Categories Packages

Search a package

Search on Flora About Categories Packages Login

@hackage minisat dependents

9 results

@hackage/abc-puzzle
Generate instances of the ABC Logic Puzzle.
BSD-3-Clausev0.2.1
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/co-feldspar
Hardware software co-design Feldspar
BSD-3-Clausev0.1.0.1
@hackage/jukebox
A first-order reasoning toolbox
BSD-3-Clausev0.5.9
@hackage/puresat
Pure Haskell SAT-solver
BSD-3-Clausev0.1
@hackage/sat-simple
A high-level wrapper over minisat
BSD-3-Clausev0.1.0.0
@hackage/satchmo
SAT encoding monad
GPL-2.0-onlyv2.9.9.5
@hackage/satplus
Useful functions when programming with a SAT-solver
BSD-3-Clausev0.1.0.0
@hackage/uuagc
Attribute Grammar System of Universiteit Utrecht
BSD-3-Clausev0.9.57