JBernstein Support

JBernstein: Exploration techniques for non-linear constraint checking

Status: Alpha

Brought to you by: chihhongcheng

JBernstein says the best way to get help with its software is by visiting http://www6.in.tum.de/~chengch/efsmt/jbernstein.html.

Here are some other places where you can look for information about this project.

This project has a homepage which can be found at http://www6.in.tum.de/~chengch/efsmt/jbernstein.html.