It supports the DIMACS input format [1], which you can parse using the kissat_parse_dimacs function [2]. DIMACS is a pretty terrible format, but at least you d

It supports the DIMACS input format [1], which you can parse using the kissat_parse_dimacs function [2]. DIMACS is a pretty terrible format, but at least you don't have to build the clauses up yourself using kissat_add. [1] http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/SATLINK____DIMACS http://www.cs.utexas.edu/users/moore/acl2/manuals/current/ma... [2] https://github.com/arminbiere/kissat/blob/master/src/parse.h https://github.com/arminbiere/kissat/blob/master/src/parse.h