a89f3e34

By: CHANGE_ME <CHANGE@ME.ch>

Establish exact-session solver foundations
GitHub
configure