Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for smt logic programming
logic-programming
x
smt
x
4 search results found
Z3.rs
⭐
294
Rust bindings for the Z3 solver.
Formulog
⭐
137
Datalog with support for SMT queries and first-order functional programming
Clpsmt Minikanren
⭐
28
CLP(SMT) on top of miniKanren
Modulus
⭐
10
A constraint solver built from scratch in OCaml
Related Searches
Prolog Logic Programming (125)
Python Smt (108)
C Plus Plus Smt (68)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.