- corzilius at cs.rwth-aachen.de
- Phone
- +49 241 80 21243
- Address
- Room 4228
Ahornstraße 55
D-52074 Aachen
Research
- (Non)linear real and integer arithmetic
- SMT solving
- Virtual substitution method
- Simplex
- Interval constraint propagation
Research
 |
An open source C++ toolbox for strategic and parallel SMT solving. |
| Available at: https://github.com/smtrat/smtrat/wiki |
| Show all |
|---|