smtlibv2

There are 1 repository under smtlibv2 topic.

• mc-imperial / jfs

  Constraint solver based on coverage-guided fuzzing

  floating-point-arithmeticconstraint-solversmtlibv2smtlibfuzzingllvmlibfuzzerz3jitcoverage-guided-fuzzing
  Language:C++ 240

• regb / scala-smtlib

  Scala library for parsing and printing the SMT-LIB format

  scalascala-librarysmtlibv2smtlib
  Language:SMT 43

• Robbepop / stevia

  A simple (unfinished) SMT solver for QF_ABV.

  decision-proceduresymbolic-executionsmtbitvectorsmtlibv2
  Language:Rust 34

• zv / z3-mode

  An interactive development environment for SMT-LIB files and Z3

  satsolversmtlibsmtlibv2z3
  Language:Emacs Lisp 22

• hycos / regex2smtlib

  A regular expression to SMT-LIB constraint translator

  translationsmtlibv2constraint-solverconstraintsregular-expression
  Language:Java 10

• jariazavalverde / prolog-smtlib

  An SMT-LIB parser in Prolog

  prologsmtlibsmtlibv2parserswi-prolog
  Language:Prolog 7

• 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 of paper cannot be rotated when cutting off, to respect the direction of the patterns in the paper.

  constraint-programmingconstraint-propagationminizincsmtsat-solversmtlibv2z3z3-smt-solver
  Language:Python 1

• mfarif / foobar

  Symbolic encoding of a C program.

  smtlibsmtlibv2cvc4symbolicsymbolic-execution
  Language:SMT 0

• ModelWriter / smtlib-tool

  Eclipse-based SMTLIB Editor

  smtsmtlibsmtlibv2eclipseeditor-plugin
  Language:Python 0

• pathawks / sudoku-smt

  Exploring SMT solvers by solving Sudoku puzzles

  smtsmtlibv2sudokusudoku-solver
  Language:C