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

    Update README.md.

commit d69534e9
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue Feb 16 14:28:29 2021 -0800

    Moved benchmarks from UFNIA without quantifiers.
    52094703