Dodan kubični SAT solver, popravki DNO/CNO, izboljšana podpora za Python3.