Examples of solver.constraints.real.Ibex

solver.constraints.real.Ibex
A link to Ibex library. The following option should be passed to the VM:
```
 -Djava.library.path=/path/to/ibex/dynlib 
```
@author Charles Prud'homme @since 19/07/12

     * Creates one if none
     *
     * @return the ibex reference
     */
    public Ibex getIbex() {
        if (ibex == null) ibex = new Ibex();
        return ibex;
    }

View Full Code Here

TOP

Related Classes of solver.constraints.real.Ibex

solver.Solver

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.