no code implementations • 2 Sep 2016 • San Pham, Jo Devriendt, Maurice Bruynooghe, Patrick De Causmaecker
The IDP knowledge base system currently uses MiniSAT(ID) as its backend Constraint Programming (CP) solver.