org.sosy_lab.solver.api.IntegerFormulaManager Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of java-smt Show documentation

Unified acccess layer to SMT solvers

There is a newer version: 5.0.1

package org.sosy_lab.solver.api;

import org.sosy_lab.solver.api.NumeralFormula.IntegerFormula;

/**
 * Interface which operates over {@link IntegerFormula}s.
 *
 * Integer formulas always take integral formulas as arguments.
 */
public interface IntegerFormulaManager
    extends NumeralFormulaManager {}