smtlibv2 | Topic | Ecosyste.ms: Repos

Topic: "smtlibv2"

mc-imperial/jfs

Constraint solver based on coverage-guided fuzzing

Language: C++ - Size: 1.64 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 244 - Forks: 20

regb/scala-smtlib

Scala library for parsing and printing the SMT-LIB format

Language: SMT - Size: 948 KB - Last synced at: 16 days ago - Pushed at: over 2 years ago - Stars: 44 - Forks: 24

Robbepop/stevia

A simple (unfinished) SMT solver for QF_ABV.

Language: Rust - Size: 1.38 MB - Last synced at: 2 days ago - Pushed at: about 6 years ago - Stars: 36 - Forks: 5

zv/z3-mode

An interactive development environment for SMT-LIB files and Z3

Language: Emacs Lisp - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 7

hycos/regex2smtlib

A regular expression to SMT-LIB constraint translator

Language: Java - Size: 40 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 2

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: Python - Size: 196 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0