search

maemre / cadmium

1 stars 0 forks source link

CLP integration based on SMT solvers #5

Open maemre opened 5 years ago

maemre commented 5 years ago

Use Z3's incremental solving capabilities to extend the language with CLP.