.gitignore

*.d
*.obj
*.jpg
*.tar.gz

TAGS
/src/engine/tests/Engine.tests
*~
/src/input_parsers/mps_generic/mps_gensol.elf
/src/input_parsers/berkeley_example/berkeley_example.elf
/src/basis_factorization/tests/basis_factorization.tests
/src/basis_factorization/tests/runner.cxx
/src/basis_factorization/tests/cxxtest_Test_LUFactorization.cxx
/src/basis_factorization/tests/cxxtest_Test_ForrestTomlinFactorization.cxx
/src/basis_factorization/tests/cxxtest_Test_PermutationMatrix.cxx
*.DS_Store
*-checkpoint.ipynb
*.so
*.pyc
/src/engine/marabou.elf
tools/boost_1_68_0
/tools/boost.unzipped
/tools/boost_1_68_0.tar.gz
/tools/pybind11-2.3.0
/tools/OpenBLAS-0.3.19/
/cpp_interface_example/example.elf
/src/input_parsers/mps_example/mps.elf

/* CMAKE */
CMakeLists.txt.user
CMakeCache.txt
CMakeFiles
CMakeScripts
Testing
Makefile
cmake_install.cmake
install_manifest.txt
compile_commands.json
CTestTestfile.cmake
_deps
/tools/pybind11_2_3_0.tar.gz
build
/.idea/
cmake-build-debug/