-
Etienne Kneuss authored
Rework the derivaion trees with new kinds of Tasks. Add notion of Task complexity which depends on the problem and on the rule.
Etienne Kneuss authoredRework the derivaion trees with new kinds of Tasks. Add notion of Task complexity which depends on the problem and on the rule.
DerivationTree.scala 1.44 KiB