commit 823c24f4
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu Feb 18 10:09:57 2021 -0800

    Update README.md.

commit 83988b56
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 2 16:53:38 2019 -0700

    Update README.md.

commit f0c2d57e
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Apr 30 15:18:06 2019 -0700

    Update status.

commit 1c79069d
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Apr 23 14:24:51 2019 -0700

    Update status.

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.