GitLab

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

    Update README.md.

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

    Update status.

commit 4cdb99fb
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue May 15 19:44:07 2018 -0700

    Update status of unknown check-sat calls.

commit 2f175261
Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
Date:   Mon May 29 16:07:58 2017 +0200

    To version 2.6

commit 2a27e9ad
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed May 3 18:35:51 2017 +0200

    Fixing README.md

commit b81a23f0
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Thu Apr 20 10:13:01 2017 +0200

    Fixing README.md

commit 8f494240
Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
Date:   Wed Mar 29 13:48:16 2017 +0200

    Fixing README.md