search

benjishults / bitnots

Tableau Theorem Prover
2 stars 1 forks source link

try coroutines to parallelize breadth-first unification #20

Open benjishults opened 7 years ago

benjishults commented 7 years ago

try coroutines for breadth-first unification

benjishults commented 1 week ago

First determine whether parallelizing makes sense.