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: 6 months 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 (about 7 years ago)
- Default Branch: master
- Last Pushed: 2020-09-22T06:35:28.000Z (about 5 years ago)
- Last Synced: 2025-02-13T01:49:10.191Z (8 months ago)
- Topics: mixed-integer-programming, rational-arithmetic, verification
- Language: Coq
- Homepage:
- Size: 50.8 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0