JBernstein Java application to explore techniques for non-linear constraint checking
Download

JBernstein Ranking & Summary

JBernstein Tags

check solve constraint constraint solver

JBernstein Description

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.

JBernstein Related Software