Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/MichaelRawson/lickety

lickety-split!
https://github.com/MichaelRawson/lickety

Last synced: 3 months ago
JSON representation

lickety-split!

Awesome Lists containing this project

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
```