cafesat logo
Update README.md
Fix REAMDE paragraph
better logo
mainly changes to the API in order to be able to pass assumptions to the solver.
started adding code for incremental solving in solver.decide.
unit test for incremental solving added
changes to solver, unrefined, unit test not passing yet, implementation of decide is missing. it is assumed that nbVars does not change between incremental solve runs
unit test passing with incremental adding of clauses and assumption. ugly, not cleaned up at all
cleaned up solver code
reverted, ConjunctiveNormalForm shouldn't have state in its current form
changed PredicateApplication to Formula in API and ConjunctiveNormalForm. fixed handling of assumptions in API. some cleaning up