# HORNIX

Hornix is a verification tool that is based upon an LLVM extension also 
employing a CHC solver as a backend.

## Archive structure

The tool is available as a github repository: https://github.com/d3sformal/hornix 

All the binaries (`golem` and `hornix`) are stored in the `bin` folder as well
as a wrapper python script `wrapper.py`. The root folder contains the launching
scripts `hornix`, `smoketest.sh`, license files, and this README file. The
`benchmarks` folder contains example inputs used by `smoketest.sh`.

## Runtime dependencies
In addition to binaries in the `bin` folder, the tool requires clang-18 for
generating the LLVM-IR representation.

## Usage
./hornix <inputfile> - runs the verification on c code
./hornix --version   - prints the tool version and exits


