First time here? Check out the FAQ!
10 0 Linear Programming: float solving and exact verification ( 2019-09-24 09:52:17 +0100 )