Skip to content
GitLab
Find file BlameHistoryPermalink
  • Mathias Preiner's avatar
    Squashed commit of the following: · 07634ff7
    Mathias Preiner authored 
    commit a68f219c
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu Feb 18 10:09:57 2021 -0800

    Update README.md.

commit 4179e17c
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:27:53 2021 -0800

    Moved benchmarks from UF without quantifiers.
    07634ff7