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

    Update README.md.

commit 1814f5db
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:23:06 2021 -0800

    Move benchmarks without quantifiers to QF_UFNIA.
    26ab28d4