GitHub repository: sambayless/monosat
Primary language: C++
Created: 2015-01-23T19:05:46Z
Description: MonoSAT - An SMT solver for Monotonic Theories