Skip to content

[0.1.0] - 2024-07-15
Compare
Choose a tag to compare
@elonca elonca released this 15 Jul 14:43
· 2 commits to master since this release
v0.1.0
15b2431

Added

  • added a command to translate from d4 format to legacy format
  • added a command to compute a model under assumptions
  • added a command to count the number of models
  • added a command to enumerate the models
Assets 2
Loading