Constraint solver based on coverage-guided fuzzing
Scala library for parsing and printing the SMT-LIB format
A simple (unfinished) SMT solver for QF_ABV.
A regular expression to SMT-LIB constraint translator
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…
Exploring SMT solvers by solving Sudoku puzzles
Symbolic encoding of a C program.
Add a description, image, and links to the smtlibv2 topic page so that developers can more easily learn about it.
To associate your repository with the smtlibv2 topic, visit your repo's landing page and select "manage topics."