OCamlPro public development repository for Alt-Ergo
-
Updated
Jul 9, 2024 - OCaml
OCamlPro public development repository for Alt-Ergo
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
The Yices SMT Solver
pySMT: A library for SMT formulae manipulation and solving
Refactor of dLinear4 https://github.com/martinjos/dlinear4
Kotlin/Java API for various SMT solvers
Links to tools by subject
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Yet Another Sat solvER
Satisfiability Modulo TheOries NEtwork (SeMiTONE)
A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.
Solving the two-dimensional strip packing problem, using several combinatorial decision making and optimization approaches: Constraint Programming, Boolean SATisfiability, Satisfiability Modulo Theory; Integer Linear Programming.
An application of constraint programming and satisfiability modulo theories to the NP-complete problem known as optimal rectangle packing
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
Very Large Scale Integration project for CDMO class at @unibo
CP, SAT and SMT implementation of the PWP
A CSP and SMT solution to the 2D orthogonal packing problem (2OPP)
A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.
Add a description, image, and links to the satisfiability-modulo-theories topic page so that developers can more easily learn about it.
To associate your repository with the satisfiability-modulo-theories topic, visit your repo's landing page and select "manage topics."