Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/MichaelRawson/lickety
lickety-split!
https://github.com/MichaelRawson/lickety
Last synced: 1 day ago
JSON representation
lickety-split!
- Host: GitHub
- URL: https://github.com/MichaelRawson/lickety
- Owner: MichaelRawson
- Created: 2022-01-28T17:33:57.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2022-02-23T13:39:10.000Z (over 2 years ago)
- Last Synced: 2024-05-22T19:31:45.814Z (6 months ago)
- Language: Rust
- Size: 140 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - lickety - prototype system for linear resolution with splitting. (Projects / Provers and Solvers)
README
# lickety
Prototype system for linear resolution with splitting.
## Build
Install a Rust toolchain: [rustup](https://rustup.rs) is convenient for this.
You will also need a static PicoSAT library somewhere linkable.
```
$ cargo build --release
```
There should now be an executable at `target/release/lickety`.
## Usage
```
$ lickety --help
```