Skip to content
View MichielVerloop's full-sized avatar
2 followers · 0 following

Block or report MichielVerloop

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. AbaloneAI AbaloneAI Public

    An AI for the game Abalone, based on the paper "Exploring optimization strategies in board game Abalone for Alpha-Beta search".

    Java 4 2

  2. Latex-to-SMT-Converter Latex-to-SMT-Converter Public

    Converts latex boolean formulas to the smt format used by SAT-solvers.

    Python 1

  3. SacAutocompiler SacAutocompiler Public

    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.

    Shell