Optimization for Very Large Scale Integration using Constraint Programming, SAT and SMT.

Former repository for the submission of SMT-LIB benchmarks for the 2022 release

Logical programming for a harvesting scheduling problem example

Algorithms for Computational Logic's project.

CS2470 FINAL PROJECT

Pinyin IME using Statistical Machine Translation

IZLO – Project 2: SMT solver

Haskell SMT interface ⛳

Projects which are rather math related

use the smt solver to find the sbox implementation

SMT introduction course at UFMG

Fork of Philipp Ruemmer's Princess SMT solver

Serialization/deserialization for What4 expressions

smtrun (described in Japanese)

Erweiterung des SMT-Solvers Boolector um Fließkomma-Logik

Surface Mount Technology (SMT) board designs for training

Eclipse-based SMTLIB Editor

All the exersice from Formal Methods for Software Engineering course @ Bauhaus University Weimar

SMT concurrency implementation in C++, which lets you run a function(functor) simultaneously on multiple threads, taking jobs from a queue.