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