Project Name	Stars	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Monosat	95	a year ago	2	October 31, 2022	4	mit	C++
MonoSAT - An SMT solver for Monotonic Theories
Graph Refine	7	2 years ago				other	Python

Llvm2smt	7	6 years ago				lgpl-2.1	OCaml
OCaml library to transform an Llvm control flow graph in an SMT formula.
Graphprop Smt	6	9 years ago			1		Python
Graph propagation for statistical machine translation

Alternatives To Monosat

Select To Compare

Monosat ⭐ 95

MonoSAT - An SMT solver for Monotonic Theories

total releases 2most recent commit a year ago

Graph Refine ⭐ 7

most recent commit 2 years ago

Llvm2smt ⭐ 7

OCaml library to transform an Llvm control flow graph in an SMT formula.

most recent commit 6 years ago

Graphprop Smt ⭐ 6

Graph propagation for statistical machine translation

most recent commit 9 years ago

Suggest An Alternative To monosat

Alternative Project Comparisons

Monosat vs Graph Refine

Monosat vs Llvm2smt

Monosat vs Graphprop Smt

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 Graph Projects

Chart.js ⭐ 62,718

Simple HTML5 Charts using the <canvas> tag

dependent packages 1,381total releases 98latest release December 04, 2023most recent commit 4 months ago

Terraform ⭐ 40,165

Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

dependent packages 1,308total releases 666latest release December 06, 2023most recent commit 3 months ago

Mpandroidchart ⭐ 37,080

A powerful 🚀 Android chart view / graph view library, supporting line- bar- pie- radar- bubble- and candlestick charts as well as scaling, panning and animations.

total releases 2latest release December 01, 2020most recent commit 3 months ago

Logseq ⭐ 27,927

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

most recent commit 3 months ago

Jsoncrack.com ⭐ 27,147

✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.

most recent commit 3 months ago

Popular Software Quality Categories

Test Driven Development

Rspec

Junit