• 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