public boolean addClause ( int lit , final Proposition proposition ) { final LNGIntVector unit = new LNGIntVector ( 1 ) ; unit . push ( lit ) ; return this . addClause ( unit , proposition ) ; }
Adds a unit clause to the solver .