#

smtlibv2

Here are 3 public repositories matching this topic...

guyez / Present-Wrapping-Problem

CP and SMT model to solve the Present Wrapping Problem (PWP): given a wrapping paper roll of a certain dimen- sion and a list of presents, decide how to cut off pieces of paper so that all the presents can be wrapped. Consider that each present is described by the dimensions of the piece of paper needed to wrap it. Moreover, each necessary piece…

smtlibv2 z3 constraint-programming sat-solver smt minizinc constraint-propagation z3-smt-solver

Updated Jul 30, 2020
Python

ModelWriter / smtlib-tool

Eclipse-based SMTLIB Editor

eclipse smtlib smtlibv2 editor-plugin smt

Updated Mar 17, 2019
Python

linyfivan / SMT-Benchmark-Obfuscator

An obfuscator for QF_LIA and QF_S formulae

cpp obfuscator smtlibv2

Updated Dec 5, 2024
Python

Improve this page

Add a description, image, and links to the smtlibv2 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the smtlibv2 topic, visit your repo's landing page and select "manage topics."