diff options
| author |  Mora Unie Youer <[email protected]> | 2025-04-20 19:58:39 +0300 |
|---|---|---|
| committer | Mora Unie Youer <[email protected]> | 2025-04-20 19:58:39 +0300 |
| commit | 7c5de6bcd852284289ecf59f0eb509c5fb599e50 (patch) | |
| tree | 1ebe9fd8a93b920a874315b41dcd6128ff475259 /Cargo.lock | |
| parent | feat: initial commit (diff) | |
| download | logic-rust-7c5de6bcd852284289ecf59f0eb509c5fb599e50.tar.gz logic-rust-7c5de6bcd852284289ecf59f0eb509c5fb599e50.tar.bz2 logic-rust-7c5de6bcd852284289ecf59f0eb509c5fb599e50.tar.lz logic-rust-7c5de6bcd852284289ecf59f0eb509c5fb599e50.tar.xz logic-rust-7c5de6bcd852284289ecf59f0eb509c5fb599e50.tar.zst logic-rust-7c5de6bcd852284289ecf59f0eb509c5fb599e50.zip | |
feat: basic minimization algorithm
Diffstat (limited to 'Cargo.lock')
| -rw-r--r-- | Cargo.lock | 18 |
1 files changed, 18 insertions, 0 deletions
@@ -3,5 +3,23 @@ version = 4 [[package]] +name = "either" +version = "1.15.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "48c757948c5ede0e46177b7add2e67155f70e33c07fea8284df6576da70b3719" + +[[package]] +name = "itertools" +version = "0.14.0" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "2b192c782037fadd9cfa75548310488aabdbf3d2da73885b31bd0abd03351285" +dependencies = [ + "either", +] + +[[package]] name = "logic-rust" version = "0.1.0" +dependencies = [ + "itertools", +] |