eval for set of clauses
fix warnings with 2.10
naive sat solver
fix conjunctive normal form
trying to clarify copyright information
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
applied fix in decide when enqueuing an assumption literal, as discussed on github. unit tests + regression passing
fixed refactored solver, biggest thing was missing reset function, added unit test for solver call with no clause, refactored existing calls to the solver
updated TODOs
changes to solver API arguments. uncertain about Literal to Int conversion in solver decide()
map literals to ints in solve() rather than in decide()
merged