summaryrefslogtreecommitdiff
path: root/src/util.mli
AgeCommit message (Expand)Author
2022-10-30wallgen and wallsolve working, visualwall partially done, license addedJedidiah Barber