GitHub - tau3/aoc-cpp

sudo apt-get install libz3-dev

mkdir build
cd build
cmake ..
cmake --build .
./aoc

cd build
cppcheck --project=compile_commands.json --enable=all

Name		Name	Last commit message	Last commit date
Latest commit History 221 Commits
2023		2023
2024		2024
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
README.md		README.md
aoc2024.cpp		aoc2024.cpp
day1.cpp		day1.cpp
day1.hpp		day1.hpp
day10.cpp		day10.cpp
day10.hpp		day10.hpp
day10_input		day10_input
day11.cpp		day11.cpp
day11.hpp		day11.hpp
day11_example2		day11_example2
day11_input		day11_input
day1_input		day1_input
day2.cpp		day2.cpp
day2.hpp		day2.hpp
day2_input		day2_input
day3.cpp		day3.cpp
day3.hpp		day3.hpp
day3_input		day3_input
day4.cpp		day4.cpp
day4.hpp		day4.hpp
day4_input		day4_input
day5.cpp		day5.cpp
day5.hpp		day5.hpp
day5_input		day5_input
day6.cpp		day6.cpp
day6.hpp		day6.hpp
day6_input		day6_input
day7.cpp		day7.cpp
day7.hpp		day7.hpp
day7_input		day7_input
day8.cpp		day8.cpp
day8.hpp		day8.hpp
day8_input		day8_input
day9.cpp		day9.cpp
day9.hpp		day9.hpp
day9_input		day9_input
gauss.cpp		gauss.cpp
gauss.hpp		gauss.hpp
util.cpp		util.cpp
util.hpp		util.hpp
z3_solver.cpp		z3_solver.cpp
z3_solver.hpp		z3_solver.hpp

Provide feedback