I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Thesis Details

Thesis:An Advanced Solver for Presburger Arithmetic
Please have a look at the solver here

DoneStatus: Finished
Contact: esparza@in.tum.de
Supervisor: Javier Esparza