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: about 2 months 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 (about 3 years ago)
• Last Synced: 2025-01-18T16:46:57.692Z (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.