private boolean solve ( final int lit ) { this . assumptions . push ( not ( lit ) ) ; final boolean sat = solve ( null , this . assumptions ) == Tristate . TRUE ; this . assumptions . pop ( ) ; return sat ; }
Tests the given literal with the formula on the solver for satisfiability .