aboutsummaryrefslogtreecommitdiffhomepage
path: root/test/data/formulas/ladd-go-1214 (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Move library formulas from test to main package.J08nY2024-07-241-5/+0
|
* Add assumption to ladders that do not contain Z1.J08nY2023-11-181-0/+1
|
* Add more formulas to lib db.J08nY2023-11-161-0/+4