Skip to content

1.2.4

Choose a tag to compare

View all tags
@daemontus daemontus released this 02 Jan 08:47
· 53 commits to main since this release
v1.2.4
c10d147

(this summary is LLM-generated, but validated by project developers)

Changes Since v1.2.3

New features

✨ A new method AsynchronousGraph.restrict has been introduced. This method creates a copy of the graph that is restricted to a given set of values. The provided set can be a ColoredVertexSet, VertexSet, or ColorSet, and the restriction applies to vertices, colors, and the corresponding graph edges.

Other changes

  • ⚙️ The underlying Z3 solver dependency has been upgraded from version 4.8.12 to 4.13.4.
  • 🔧 The Rust toolchain used for building the library has been updated from version 1.79.0 to 1.84.0.
  • CI/CD workflows have been updated with newer versions of various GitHub Actions, enhancing the build and release process.
Assets 2
Loading