v0.4.4

What's Changed

• Update ruff to use the new formatter by @jams2 in #11
• Fix reification of fresh logic vars by @jams2 in #12

Full Changelog: v0.4.3...v0.4.4

v0.4.3

Fixes an error where the first goal in a disj would be evaluated last.

Full Changelog: v0.4.2...v0.4.3

v0.4.1: Python 3.12 Support

Merge pull request #6 from jams2/feature/python3.12

Add Python 3.12 support, bump fastcons

v0.4.0

[0.4.0] - 2023-04-23

Added

• ltfd goal

Changed

• Moved finite domain goal constructors into fd.py
• Exit early from FD goals if any var has no domain
• When exiting early from FD goals, make sure a constraint is added to the store
• Use immutables map instead of pyrsistent map (better performance)
• Change neq signature from neq((a, b), *rest_pairs) to neq(a, b, /, *rest)
• Make Constraint frozen so it's hashable
• Store Constraint operands as tuples rather than lists/sets

v0.3.0

See CHANGELOG.md for details