• Mathias Preiner's avatar
    Squashed commit of the following: · 272dc881
    Mathias Preiner authored
    commit 34f5a2ed
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Thu Feb 18 10:10:00 2021 -0800
    
        Update README.md.
    
    commit f0e1c272
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Tue Feb 16 14:23:53 2021 -0800
    
        Moved benchmarks from UFNIA without quantifiers.
    272dc881