BV

Project ID: 94

Squashed commit of the following: · 4a9314f6

Mathias Preiner authored May 17, 2018

commit da421f14
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 17 13:39:29 2018 -0700

    Fix status and add missing set-info :status.

commit 47113996
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue May 15 19:40:38 2018 -0700

    Update status of unknown check-sat calls.

4a9314f6

README

Name	Last commit	Last update
20170501-Heizmann-UltimateAutomizer		Loading commit data...
README.md		Loading commit data...

README.md