Skip to content

Fix for unify algorithm in logic.py - #1101

Merged
antmarakis merged 5 commits into
aimacode:masterfrom
alessandrocuda:unify-fix
Aug 19, 2019
Merged

Fix for unify algorithm in logic.py#1101
antmarakis merged 5 commits into
aimacode:masterfrom
alessandrocuda:unify-fix

comments changed to cascade_substitution function in logic.py

01876d5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs