mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
242,730 Commits 2 Branches 0 Tags 1.4 GiB
e05c779ee3
Commit Graph

2 Commits

Author SHA1 Message Date
Michael Goulet
132a2884ad Use alias-eq in structural normalization 2023-12-18 19:22:43 +00:00
lcnr
0947070871 consistently use "next solver" instead of "new solver" 2023-12-14 15:22:37 +01:00