Issues
- 1
once breaks backtracking references
#22 opened by adamgundry - 0
How far from OS parallelism?
#21 opened by np - 1
Incorrect merge of roots of known-disjoint terms
#19 opened by np - 0
Equality: What if this is the exact same term?
#20 opened by np - 1
Interpreting solutions from DLX?
#17 opened by identicalsnowflake - 1
References for catenable deques
#5 opened by duog