Mazdak Farrokhzad 9141a42622 Bump Rust to 1.77 + fix warnings + use Bound::map (#1020) ...

* bump Rust to 1.77 + fix warnings + use Bound::map

* use .truncate(true) for OpenOptions

2024-03-25 20:27:08 +00:00

..

src

Bump Rust to 1.77 + fix warnings + use Bound::map (#1020)

2024-03-25 20:27:08 +00:00

tests

SATS: add support needed for BFLATN => BSATN directly (#750)

2024-01-24 16:53:47 +00:00

Cargo.toml

Fix publish issues 0.8.2 (#853)

2024-02-15 23:29:37 +00:00

LICENSE

Initial commit

2023-08-01 23:16:37 +02:00