https://github.com/leoneifler/chvatalip

Integer programming proofs for Chvátal's conjecture over finite ground sets
https://github.com/leoneifler/chvatalip

mixed-integer-programming rational-arithmetic verification

Last synced: 14 days ago
JSON representation

Integer programming proofs for Chvátal's conjecture over finite ground sets

• Host: GitHub
• URL: https://github.com/leoneifler/chvatalip
• Owner: leoneifler
• Created: 2018-08-23T10:08:01.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-09-22T06:35:28.000Z (over 4 years ago)
• Last Synced: 2023-02-27T11:12:02.366Z (almost 2 years ago)
• Topics: mixed-integer-programming, rational-arithmetic, verification
• Language: Coq
• Homepage:
• Size: 50.8 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project