Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for sat solver constraint programming
constraint-programming
x
sat-solver
x
6 search results found
Minizinc Python
⭐
127
Access to all MiniZinc functionality directly from Python
Diff Sat
⭐
56
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Solver
⭐
16
SAT solver library in Go; wraps around Google's Operational Research Tools
Minizinc Js
⭐
16
Use MiniZinc in the browser or with NodeJS
Minizinc Playground
⭐
7
MiniZinc playground using WebAssembly
N Queens Sat
⭐
5
Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
Related Searches
Python Sat Solver (61)
C Plus Plus Sat Solver (44)
C Sat Solver (25)
Sat Solver Satisfiability (21)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.