ptal / turboLinks
A constraint solver purely on GPUs (CUDA)
☆32Updated 3 weeks ago
Alternatives and similar repositories for turbo
Users that are interested in turbo are comparing it to the libraries listed below
Sorting:
- The Chuffed CP solver☆113Updated last week
- A lazy-grounding Answer-Set Programming system☆62Updated this week
- ☆83Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Conjure: The Automated Constraint Modelling Tool☆107Updated last month
- Online BDD Simulation Tool☆21Updated 3 months ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- Main repository of the GreatSPN framework☆51Updated 4 months ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- ☆32Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated 3 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 8 months ago
- Generic Constraint Development Environment☆313Updated 5 months ago
- The Shine compiler for the RISE language☆83Updated last week
- SAT solver for education☆26Updated 3 years ago
- ☆16Updated 2 years ago
- Access to all MiniZinc functionality directly from Python☆182Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated last week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- Language bindings for Maude☆23Updated 10 months ago
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 7 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 2 months ago
- embedding MLIR in LEAN☆48Updated last year