Wrapper structs for models of a theory#179

Closed

kris-brown wants to merge 9 commits intomainfrom symbolic_model_explicit

+385-149

Commits on Dec 8, 2024

fix md problem
Kris Brown
committed
compatibility with julia <=1.10
Kris Brown
committed
compat with julia <=1.10
Kris Brown
committed
Change how import works.
Kris Brown
committed
fix bug in migrations when there are different sorts
Kris Brown
committed
Allow WithModel to take subtypes of model_type
Kris Brown
committed
Remove Model, change migration
Kris Brown
committed

Commits on Dec 9, 2024

Allow checking if not implements
Kris Brown
committed
Explicit dispatch
Kris Brown
committed