Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mrtkp9993/mathprog
Automated theorem proving, Logic Programming, Optimization examples.
https://github.com/mrtkp9993/mathprog
constraint-programming discrete-optimization mathematical-modelling mathematics optimization sat-solver satisfiability theorem-proving
Last synced: 20 days ago
JSON representation
Automated theorem proving, Logic Programming, Optimization examples.
- Host: GitHub
- URL: https://github.com/mrtkp9993/mathprog
- Owner: mrtkp9993
- License: gpl-3.0
- Created: 2020-10-20T15:43:06.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-03-02T18:02:41.000Z (almost 3 years ago)
- Last Synced: 2024-11-17T22:12:40.224Z (3 months ago)
- Topics: constraint-programming, discrete-optimization, mathematical-modelling, mathematics, optimization, sat-solver, satisfiability, theorem-proving
- Language: Python
- Homepage:
- Size: 24.4 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# MathProg
Automated theorem proving, Logic Programming, Optimization examples.