Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Jfs	236	5 months ago	34	mit	C++
Constraint solver based on coverage-guided fuzzing
Smtlibv2 Grammar	15	2 years ago		mit	SMT
ANTLR SMT-LIB v2 Grammar
Ebso	9	4 years ago		apache-2.0	OCaml
EVM Bytecode Super Optimizer

Alternatives To Smtlibv2 Grammar

Select To Compare

Jfs ⭐ 236

Constraint solver based on coverage-guided fuzzing

most recent commit 5 months ago

Smtlibv2 Grammar ⭐ 15

ANTLR SMT-LIB v2 Grammar

most recent commit 2 years ago

Ebso ⭐ 9

EVM Bytecode Super Optimizer

most recent commit 4 years ago

Suggest An Alternative To smtlibv2-grammar

Alternative Project Comparisons

Smtlibv2 Grammar vs Jfs

Smtlibv2 Grammar vs Ebso

Popular Smt Projects

Vim Polyglot ⭐ 5,431

A solid language pack for Vim.

most recent commit 6 months ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Openpnp ⭐ 1,501

Open Source SMT Pick and Place Hardware and Software

most recent commit 4 months ago

Barf Project ⭐ 1,193

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

dependent packages 1total releases 4latest release November 24, 2019most recent commit 4 years ago

Popular Constraint Solver Projects

Incubator Kie Optaplanner ⭐ 3,241

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

total releases 142latest release July 18, 2022most recent commit 2 months ago

Autolayout.js ⭐ 1,016

Apple's Auto Layout and Visual Format Language for javascript (using cassowary constraints)

dependent packages 19total releases 13latest release January 14, 2017most recent commit 2 years ago

Choco Solver ⭐ 654

An open-source Java library for Constraint Programming

dependent packages 23total releases 34latest release November 02, 2023most recent commit 3 months ago

Timefold Solver ⭐ 556

The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems

dependent packages 1total releases 11latest release November 08, 2023most recent commit 3 months ago

Cassowary ⭐ 446

An incremental linear constraint-solving algorithm (Auto Layout) in Swift.

most recent commit 7 years ago

Popular Software Quality Categories

Test Driven Development

Rspec

Junit