Fixed bug in AIG::create_xor(). Generalized AIG::substituted().
Added minimal support for incremental SAT solving.
SATManager: added manual addition of clauses.