Skip to content

Commit

Permalink
added reference to paper
Browse files Browse the repository at this point in the history
  • Loading branch information
Armin Biere committed Mar 30, 2020
1 parent ec8357e commit 7119490
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,11 @@ or include testing

which produces scrambled versions of the CNFs in 'cnfs' in 'log'.

To understand what `scranfilize` can to run
To understand what `scranfilize` can do run

`./scranfilize -h`

after building it.

This tool is described in our [POS'18 paper]<http://fmv.jku.at/papers/BiereHeule-POS18.pdf>
which also comes with [experiments]<http://fmv.jku.at/scranfilize>.

0 comments on commit 7119490

Please sign in to comment.