Skip to content

hiseric1/final_thesis_bachelor

Repository files navigation

LogicToolbox

1. Building LogicToolbox

Run commands:

$ mkdir -p build/Release

$ cd build/Release

$ cmake ../..

$ make

2. Building docs

Run command:

$ make doc

3. Building tests

Run command:

$ make check

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published