v1.3.3

✨ New Features

• 2ee4c11 - Modify methods to allow reuse of smt text inserted in depex db (commit by @GermanMT)

v1.3.2

✨ New Features

• 698c5a7 - Modify file name use (commit by @GermanMT)

🔧 Chores

• 9d45dda - Bump z3 solver (commit by @GermanMT)

v1.3.1

✨ New Features

• 9f1fcd9 - Change transformation to string building (commit by @GermanMT)

🎨 Code Style Changes

• a8ea233 - Ruff format (commit by @GermanMT)

v1.3.0

🐛 Bug Fixes

• 5d50844 - Delete unselected versions and round to 2 impact (commit by @GermanMT)
• 403efe7 - Refactor SMT constraints to make it much more efficient (commit by @GermanMT)
• b3c37e6 - Delete unnused code (commit by @GermanMT)

🔧 Chores

• ade17ba - Bump versions (commit by @GermanMT)

v1.2.4

✨ New Features

• b2ab777 - Change transform to work with neo4j (commit by @GermanMT)

v1.2.3

✨ New Features

• 8f9bcf1 - Add changes to work with data extracted from Neo4j (commit by @GermanMT)

v1.2.2

🐛 Bug Fixes

• d6215d7 - Solve bad variables typing (commit by @GermanMT)

v1.2.1

✨ New Features

• 4109d13 - Improve transformation (commit by @GermanMT)
• 66ca91c - Add new operaions (commit by @GermanMT)

🔧 Chores

• a8b494b - Update readme to add pypi info (commit by @GermanMT)
• c5043ae - Add license (commit by @GermanMT)
• 0cad1a4 - Add license to readme (commit by @GermanMT)
• 8f8d57a - Update imports (commit by @GermanMT)

v1.1.0

✨ New Features

• c34f8f2 - Improve smt model with more realist contraints to make it faster (commit by @GermanMT)
• 1b83ffc - Upgrade prospector (commit by @GermanMT)
• cb3d8b3 - Upgrade dn plugin (commit by @GermanMT)

🐛 Bug Fixes

• 1f828d6 - Solve error with unkown variables (commit by @GermanMT)

v1.0.0

✨ New Features

• 2139e0b - Implement first operations (commit by @GermanMT)