Web-Interface for SMTInterpol based on teavm

ultimate-pa / smtinterpol

SMTInterpol interpolating SMT solver

GNU Lesser General Public License v3.0

60 stars 17 forks source link

Closed jhoenicke closed 3 years ago

jhoenicke commented 3 years ago