Skip to content
GitLab
Switch branch/tag
Find file BlameHistoryPermalink
  • Mathias Preiner's avatar
    Squashed commit of the following: · dd5891d8
    Mathias Preiner authored 
    commit c3a029d4
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu Feb 18 10:10:00 2021 -0800

    Update README.md.

commit 8076c6a5
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 15:54:57 2021 -0800

    Remove trivially unsat benchmarks.
    dd5891d8