Unlike 'sat' and 'sat-micro-hs' it is a library, and unlike
'libsat' it
provides an interface for incremental solving.
Funsat is also a library.
By saying 'libsat' I actually meant 'funsat' ;) I have considered
using it instead of writing 'incremental-sat-solver'. But after
looking at your code briefly, I couldn't see easily how to add an
interface for incremental solving and decided to do another package.
The code is structured in a way that it would possibly be
straightforward to do incremental solving, but it is not designed for
it. (If interested, see the function `Funsat.Solver.solveStep'. It
is not exported, but it could be.)
Thanks for your hint. It would be nice to have the efficiency of your
library with the interface of mine.
Cheers,
Sebastian
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
