realpaver 0.4

License: Free ‎File size: N/A
‎Users Rating: 3.7/5 - ‎6 ‎votes

ABOUT realpaver

RealPaver is a modeling language for solving mixed-integer nonlinear constraint systems.