Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by leoneifler
A curated list of projects in awesome lists by leoneifler .
https://github.com/leoneifler/exact-scip
A development version of the numerically exact variant of MIP solver SCIP
Last synced: 20 Dec 2024
https://github.com/leoneifler/vszimpl
VSCode extension for ZIMPL programmin language
Last synced: 20 Dec 2024
https://github.com/leoneifler/chvatalip
Integer programming proofs for Chvátal's conjecture over finite ground sets
mixed-integer-programming rational-arithmetic verification
Last synced: 20 Dec 2024