0.1.5

Fixes

• Fixed signature Regex to allow for predicate names with underscores like test_predicate ( by @rpgoldman )
• Fixed displaying of unsatisfiable constraints
  • Display all not just one

0.1.4

Changes

• Modified prompt to clarify that assumptions are only created as an intermediary step
• Changed unsat constraint rendering position
• Added sudoku example

0.1.3

Working MVP Implementation

• MUS Computation
• UCS Computation
• LLM explanation
• Supports LLM model selection
• Supports MUS assumption signature filtering