search

CCR-project / CCR

MIT License
5 stars 9 forks source link

Fix imp_red tactic #191

Closed SamuelArsac closed 1 year ago

SamuelArsac commented 1 year ago

imp_red only looked at one side when reducing