Method Add

src/api/java/Optimize.java:73–76

Alias for Assert.

(Expr<BoolSort>... constraints)

     * Alias for Assert.
     **/
    public void Add(Expr<BoolSort>... constraints)
    {
        Assert(constraints);
    }

    /** 
     * Assert a constraint into the optimizer, and track it (in the unsat) core