Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for sat solver minizinc
minizinc
x
sat-solver
x
3 search results found
Minizinc Python
⭐
127
Access to all MiniZinc functionality directly from Python
Minizinc Js
⭐
16
Use MiniZinc in the browser or with NodeJS
Minizinc Playground
⭐
7
MiniZinc playground using WebAssembly
Related Searches
Python Sat Solver (61)
C Plus Plus Sat Solver (44)
C Sat Solver (25)
Sat Solver Satisfiability (21)
Constraint Programming Minizinc (18)
Python Minizinc (9)
Javascript Sat Solver (7)
Sat Solver Constraint Programming (6)
Javascript Minizinc (4)
Discrete Optimization Minizinc (4)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.