VIPR

swMATH18034MaRDI QIDQ29885FDOQ29885

Author name not available (Why is that?)

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

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

Cited In (14)

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

This page was built for software: VIPR