Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
-
Updated
Jun 22, 2023 - Jupyter Notebook
Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo
A CSP and SMT solution to the 2D orthogonal packing problem (2OPP)
An application of constraint programming and satisfiability modulo theories to the NP-complete problem known as optimal rectangle packing
metaSMT-Based SMT-LIB2 Consistency Checker
solving-satisfaction-problems-with-theorem-provers
Satisfiability Modulo TheOries NEtwork (SeMiTONE)
Integration Property Language
Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles
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
Refactor of dLinear4 https://github.com/martinjos/dlinear4
My first SMT solver (only QF_UF)
A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.
Very Large Scale Integration project for CDMO class at @unibo
CP, SAT and SMT implementation of the PWP
Yet Another Sat solvER
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
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.
EMME: ECMAScript Memory Model Evaluator
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."