I Use This!
Activity Not Available
Analyzed 4 months ago. based on code collected 6 months ago.

Project Summary

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 < 3);The solver simplifies such formula to 'true'. The solver simplifies system of equalities using LU decomposition. For example:

x + y = 3 &
x - y = 1 ;Gives:

x = 2 & y = 1Appliances:

Such solver may be applied as arithmetic online solver for software/hardware static verification tools. Solution of the linear programming problem. But since the FM algorithm is more general solver is not such efficient as a simplex method solver.

Note. By now the code base is incomplete. It contains all Calculator's code and only small part of the Solver code. Rest of the code is coming. Stay tuned :)

If you have questions feel free to contact me vitaly.german


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

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free tool to discover if there are open source vulnerabilities in your code
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog


3 Other

30 Day Summary

Apr 9 2016 — May 9 2016

12 Month Summary

May 9 2015 — May 9 2016


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