[0.1.1] - 2024-07-15

Changed

• moved external crate inside the project to comply with crates.io rules

[0.1.0] - 2024-07-15

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