JBernstein 0.3 R6

Java application to explore techniques for non-linear constraint checking

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
report
malware
send us
an update
LICENSE TYPE:
LGPL 
FILE SIZE:
298 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Chihhong Cheng
CATEGORY:
Home \ Math/Scientific
3 JBernstein Screenshots:
JBernstein - In the main window of the application you can specify the variables and coefficients.JBernsteinJBernstein
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.

Last updated on April 4th, 2013

Runs on: Mac OS X (-)

requirements

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

Add your review!

SUBMIT