Better autonomous search #384
Description
Now we rely on VSIDS, but we have potentially better version of it. Just noting here so we do not forget about it! We also had several successful BSc projects on this, so we could look into it.
{{ message }}
Now we rely on VSIDS, but we have potentially better version of it. Just noting here so we do not forget about it! We also had several successful BSc projects on this, so we could look into it.