ndrewh/fuzzy-sat

An approximate solver for concolic execution

Fuzzy SAT

Build

Clone the repository and all the submodules:

$ git clone https://github.com/season-lab/fuzzy-sat 
$ cd fuzzy-sat
$ git submodule update --init --recursive

Build the library using cmake:

$ cd path/to/build/dir
$ cmake -DCMAKE_BUILD_TYPE=Release path/to/fuzzy-sat/source
$ make

It will build our fork of z3, the FuzzySAT library, and the command-line tools.

How to use

See https://season-lab.github.io/fuzzolic/usage.html#fuzzy-sat.