https://github.com/vasilisp/inez

A Constraint Solver
https://github.com/vasilisp/inez

formal-methods integer-linear-programming mathematical-programming ocaml smt-solver

Last synced: 8 months ago
JSON representation

A Constraint Solver

• Host: GitHub
• URL: https://github.com/vasilisp/inez
• Owner: vasilisp
• License: mit
• Created: 2013-07-05T21:49:01.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2015-12-04T21:54:38.000Z (about 10 years ago)
• Last Synced: 2025-04-01T05:55:54.585Z (9 months ago)
• Topics: formal-methods, integer-linear-programming, mathematical-programming, ocaml, smt-solver
• Language: OCaml
• Homepage:
• Size: 519 KB
• Stars: 12
• Watchers: 6
• Forks: 3
• Open Issues: 1

Awesome Lists containing this project