oRatio is an Integrated Logic and Constraint based solver
Primary LanguageC++Apache License 2.0Apache-2.0