Giters

marijnheule / minisat

MiniSAT 2.2 with DRUP support and OSX compilation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

minisat

MiniSAT 2.2 with DRUP support and OSX compilation

About

MiniSAT 2.2 with DRUP support and OSX compilation

License:Other

Languages

Language:C++ 97.1%Language:Makefile 1.9%Language:C 0.9%