Pinned Repositories
notebooks
This repository collects notebooks for the course
telingo
🕰️ A solver for temporal programs.
qasp2qbf
🧊 A translator from quantified answer set programming to quantified boolean formula
notebooks
This repository collects notebooks for the course
flatland
A collection of the ongoing research project into the Flatland competition. Check the murphy-dev branch for efforts that are currently being explored.
project-seeknumbers
project-sudoku
project-creek
project-elevator
project-light
FrancoisLaferriere's Repositories
FrancoisLaferriere/notebooks
This repository collects notebooks for the course