search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
97 stars 21 forks source link

Instance saturation with parameters #343

Closed CohenCyril closed 1 year ago

CohenCyril commented 1 year ago

TODO:

Fixes #339

CC @gares @ThomasPortet

gares commented 1 year ago

integrated in #334