Open mmcloughlin opened 5 years ago
There is a lot of similarity between the addition chain language acc and op3 formulas. Can they be unifed?
acc
op3
Due to #68 the op3 language has been extended beyond the syntax supported by the explicit formulas database. This suggests that the op3 packages should be pulled out of the efd tree.
efd
There is a lot of similarity between the addition chain language
acc
andop3
formulas. Can they be unifed?