Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Minizinc Js

Use MiniZinc in the browser or with NodeJS
Stars
16
License
mpl-2.0
Open Issues
1
Most Recent Commit
5 months ago
Programming Language
JavaScript
Categories
Site
Repo
Alternatives To Minizinc Js
Select To Compare
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 4 months ago
Phil ⭐ 260
A crossword maker.
most recent commit 9 months ago
Varisat ⭐ 211
SAT solver written in Rust
dependent packages 5total releases 2most recent commit a year agocargo varisat-formula} Downloads
Tt ⭐ 197
a Pythonic toolkit for working with Boolean expressions
dependent packages 1total releases 10most recent commit 4 years agopypi ttable} Downloads


Suggest An Alternative To minizinc-js
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Javascript Typescript Definitions
Constraint Programming Minizinc
Javascript Linear Programming
Javascript Sat Solver
Javascript Constraint Programming
Javascript Minizinc
Sat Solver Constraint Programming

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
Sat Solver
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.