wkschwartz/pigosat — pull request #3 by justinfx (2014-08-16 06:19:55+00:00)
Title: Pass entire int array to picosat_add_lits once per clause, in AddClauses()

This improves performance when passing a bunch of clauses, by reducing the number of times we need to call into C. Instead of once per literal, it is once per clause.