minisat

Version 0.1.3 revision 1 uploaded 2024-02-26T15:58:40.000Z by AndreasAbel.

Package meta

Synopsis

A Haskell bundle of the Minisat SAT solver

Description

Author

n/a

Bug reports

n/a

Category

Logic

Copyright

n/a

Homepage

n/a

Maintainer

n/a

Package URL

n/a

Stability

n/a

Components

• lib:minisat