Pinned Repositories
AbaloneAI
An AI for the game Abalone, based on the paper "Exploring optimization strategies in board game Abalone for Alpha-Beta search".
Latex-to-SMT-Converter
Converts latex boolean formulas to the smt format used by SAT-solvers.
SacAutocompiler
Shells script that listens for file changes in the current and subdirectories, automatically compiling any changed .sac files. If the compilation succeeds, it will also run the file.
MichielVerloop's Repositories
MichielVerloop/AbaloneAI
An AI for the game Abalone, based on the paper "Exploring optimization strategies in board game Abalone for Alpha-Beta search".
MichielVerloop/Latex-to-SMT-Converter
Converts latex boolean formulas to the smt format used by SAT-solvers.
MichielVerloop/SacAutocompiler
Shells script that listens for file changes in the current and subdirectories, automatically compiling any changed .sac files. If the compilation succeeds, it will also run the file.