GitHub repository: riccardodebenedictis/oRatio
Primary language: C++
Created: 2016-11-22T16:10:59Z
Description: oRatio is an Integrated Logic and Constraint based solver