diff options
| author |  Mora Unie Youer <[email protected]> | 2025-04-28 10:21:50 +0300 |
|---|---|---|
| committer | Mora Unie Youer <[email protected]> | 2025-04-28 10:21:50 +0300 |
| commit | 328c73a9b176e449f0a5d4f35715865710eaa3c9 (patch) | |
| tree | 5c07d0e25e3c829fc266ac5304d7ac6265d89e3e /flake.lock | |
| parent | fix: incorrect CNF result when no variables are used (diff) | |
| download | logic-rust-328c73a9b176e449f0a5d4f35715865710eaa3c9.tar.gz logic-rust-328c73a9b176e449f0a5d4f35715865710eaa3c9.tar.bz2 logic-rust-328c73a9b176e449f0a5d4f35715865710eaa3c9.tar.lz logic-rust-328c73a9b176e449f0a5d4f35715865710eaa3c9.tar.xz logic-rust-328c73a9b176e449f0a5d4f35715865710eaa3c9.tar.zst logic-rust-328c73a9b176e449f0a5d4f35715865710eaa3c9.zip | |
perf: minimization algorithm now a little faster
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions