A vagrant machine to develop smtrat and carl.
The UnlicenseUnlicense
No issues in this repository yet.