clingo-rs

clingo-rs copied to clipboard

Updates the requirements on [test-case](https://github.com/frondeus/test-case) to permit the latest version. Release notes Sourced from test-case's releases. TestCase - v2.2.1 Bugfix release - ensure test-case depends on correct version of test-case-macros...

dependabot[bot]

Has anybody ever considered implementing a `Control` type that can safely be shared between threads?

1

drwadu

Add information about timeout

6

I'm trying to use the `wait` function on `SolveHandle`, but can't figure out what unit the `timeout` is expected to have. Additional information about the parameter might be nice. Alternatively,...

MalteT

Updates the requirements on [rand](https://github.com/rust-random/rand) to permit the latest version. Changelog Sourced from rand's changelog. [0.9.0] - 2025-01-27 Security and unsafe Policy: "rand is not a crypto library" (#1514) Remove...

dependabot[bot]

Updates the requirements on [thiserror](https://github.com/dtolnay/thiserror) to permit the latest version. Release notes Sourced from thiserror's releases. 2.0.0 Breaking changes Referencing keyword-named fields by a raw identifier like {r#type} inside a...

dependabot[bot]

waywardmonkeys