JBernstein for Mac

0.3 R6 100% FREE LGPL    
  UNRATED
DOWNLOAD NOW 298 KB

  128 downloads

Java application to explore techniques for non-linear constraint checking

description

download

specs

JBernstein is an application that allows its users to check if a polynomial constraint holds for all variables within their domain.

JBernstein can be used to verify the synthesis of cyber-physical systems where models are non-linear.

JBernstein is developed using the Java programming language and can be run on Mac OS X, Windows and Linux.
read more   
Last updated on April 4th, 2013

#constraint checker #constraint solver #polynomial constrain #constraint #check #solve #polynomial

JBernstein - In the main window of the application you can specify the variables and coefficients.JBernsteinJBernstein

top FREE alternatives

0 User reviews so far.

SUBMIT