SRI-CSL/yices2

The Yices SMT Solver

Language: SMT - Size: 26 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 409 - Forks: 57

johnyf/tool_lists

Links to tools by subject

Size: 63.5 KB - Last synced at: about 21 hours ago - Pushed at: about 1 year ago - Stars: 375 - Forks: 83

pysmt/pysmt

pySMT: A library for SMT formulae manipulation and solving

Language: Python - Size: 4.73 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 599 - Forks: 136

elsoroka/Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

Language: Julia - Size: 1.44 MB - Last synced at: 4 days ago - Pushed at: 2 months ago - Stars: 39 - Forks: 7

UnitTestBot/ksmt

Kotlin/Java API for various SMT solvers

Language: Kotlin - Size: 249 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 31 - Forks: 15

OCamlPro/alt-ergo

OCamlPro public development repository for Alt-Ergo

Language: OCaml - Size: 29.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 136 - Forks: 35

cristian-mattarei/CoSA

CoreIR Symbolic Analyzer

Language: Python - Size: 7.98 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 72 - Forks: 17

paultristanwagner/satisfiability-checking

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

Language: Java - Size: 806 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 5 - Forks: 0

SimReale/multiple_couriers_CVRP

Combinatorial optimization project for the Multiple Couriers Problem (MCP).

Language: Python - Size: 2.18 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

hriener/metaSMT-toolbox-smt2eval

metaSMT-Based SMT-LIB2 Consistency Checker

Language: C++ - Size: 10.7 KB - Last synced at: 7 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1

TendTo/dlinear

Refactor of dLinear4 https://github.com/martinjos/dlinear4

Language: C++ - Size: 12.5 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

frallebini/optimal-rectangle-packing

An application of constraint programming and satisfiability modulo theories to the NP-complete problem known as optimal rectangle packing

Language: Python - Size: 792 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

marcluque/YASER

Yet Another Sat solvER

Language: C - Size: 23.9 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0

abenkhadra/gosat

SMT solver for the theory of floating-point arithmetic

Language: C++ - Size: 73.2 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 23 - Forks: 8

nicolodon/MCVRP

Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.

Language: Python - Size: 4.02 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

MatthiasNickles/Satalyzer

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

Language: Scala - Size: 479 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

enricomors/cdmo_vlsi

Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo

Language: Jupyter Notebook - Size: 29.9 MB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

gmurro/VLSI

Very Large Scale Integration project for CDMO class at @unibo

Language: Python - Size: 15.1 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 4

Lostefra/Present_Wrapping_Problem

CP, SAT and SMT implementation of the PWP

Language: Jupyter Notebook - Size: 1.07 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

pierclgr/Present-Wrapping-Problem

A CSP and SMT solution to the 2D orthogonal packing problem (2OPP)

Language: Python - Size: 747 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

EnricoPittini/Two-dimensional-strip-packing-problem

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.

Language: Python - Size: 22.3 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1

ratioSolver/SeMiTONE

Satisfiability Modulo TheOries NEtwork (SeMiTONE)

Language: C++ - Size: 438 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

sebsikora/pysmt_demos

Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles

Language: Python - Size: 2.93 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

EmreOzkose/solving-satisfaction-problems-with-theorem-provers

solving-satisfaction-problems-with-theorem-provers

Language: Python - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

bisc/IPL

Integration Property Language

Language: Xtend - Size: 19.9 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

bisc/IPLProjects

Language: Shell - Size: 1.08 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0