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()
added larger unit test from satlib for incremental sat. resetting of solver should be complete now
moved API unit test and made it work, removed unnecessary stuff from incrementality unit test
Merge pull request #1 from mazesc/master

Incrementality