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

    Update README.md.

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

    Remove trivially unsat benchmarks.
    0745299f