Inactive
0
I Use This!

Project Summary

Analyzed 3 days ago. based on code collected 3 days ago.

C++ library for solving systems of linear constraints: inequalities equality and disequality. Current version is based on Fourier-Motzkin (FM) elimination for inequalities and Gaussian elimination for equality. Quantifiers “Forall” and “Exists” are allowed. Boolean connectivities '&' -and, '|' - or '~' - not. '' '>=' '=' - arithmetical inequalities. The simplest formula for the solver might be:

Exists x (x > 0 & x

Share

In a Nutshell, constraints-solver-over-r...

Languages

Languages?height=75&width=75
C++
95%
3 Other
5%

Lines of Code

Activity

30 Day Summary

Jun 29 2015 — Jul 29 2015

12 Month Summary

Jul 29 2014 — Jul 29 2015

Community

Ratings

Be the first to rate this project
 
Click to add your rating
   Spinner f6ecff617ec2ba7f559e6f535cad9b70a3f91120737535dab4d4548a6c83576c
 
Review this Project!