smtlibv2

There are 11 repositories under smtlibv2 topic.

  • mc-imperial/jfs

    Constraint solver based on coverage-guided fuzzing

    Language:C++243163720

  • regb/scala-smtlib

    Scala library for parsing and printing the SMT-LIB format

    Language:SMT4451324

  • Robbepop/stevia

    A simple (unfinished) SMT solver for QF_ABV.

    Language:Rust366155

  • zv/z3-mode

    An interactive development environment for SMT-LIB files and Z3

    Language:Emacs Lisp24417

  • hycos/regex2smtlib

    A regular expression to SMT-LIB constraint translator

    Language:Java11322

  • jariazavalverde/prolog-smtlib

    An SMT-LIB parser in Prolog

    Language:Prolog8601

  • 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.

    Language:Python1000

  • mfarif/foobar

    Symbolic encoding of a C program.

    Language:SMT0101

  • ModelWriter/smtlib-tool

    Eclipse-based SMTLIB Editor

    Language:Python0200

  • linyfivan/SMT-Benchmark-Obfuscator

    An obfuscator for QF_LIA and QF_S formulae

    Language:Python

  • pathawks/sudoku-smt

    Exploring SMT solvers by solving Sudoku puzzles

    Language:C20