aboutsummaryrefslogtreecommitdiffstats
path: root/simplify.h
AgeCommit message (Expand)AuthorFilesLines
2020-11-28make replace_with_pseudo() externLuc Van Oostenryck1-0/+2
2020-11-28make a header for simplificationLuc Van Oostenryck1-0/+8