VIPR

MaRDI QIDQ29885swMATHFDO

Official website https://github.com/ambros-gleixner/VIPR

Source code repository https://github.com/ambros-gleixner/VIPR

Cited in

(15)

• Cutting planes for families implying Frankl's conjecture
• CPBPV
• QSopt_ex
• DRAT-trim
• vOptLib
• MIPLearn
• A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture
• A computational status update for exact rational mixed integer programming
• A computational status update for exact rational mixed integer programming
• QMaxSATpb
• Verifying integer programming results
• ChvatalIP
• Exact SCIP
• PaPILO
• MLIC

This page was built for software: VIPR