Rebecca De Venezia's repositories
stress-free-schedule-support
Team project for CISC 325 (HCI). A stress-free timetable builder and course recommendation system.
Blocksworld-Unity3D-Simulation
A 3D simulation of the classic "blocksworld" planning problem. Allows users to specify a customized initial state and goal and simulates the planning process from beginning to end using http://planning.domains/. Colours are used instead of letters to make the planning easier visually.
Time-To-Kill-full-game
A fast-paced, puzzle-solving RPG created in 4 months. It is fully playable at the link below. Have fun!
bauhaus
Build logical theories for SAT solvers on the fly
icaps2024.github.io
Website for ICAPS 2024
modelling-travel
Uses propositional logic to model travel situations from anywhere in Canada and/or the United States.
modelling-project-remaster
A remodel of the CISC 204 transportation modelling project, using the library bauhaus.
python-nnf
Manipulate NNF (Negation Normal Form) logical sentences
Sphinx-Autosummary-Recursion
Demonstrating the new automatic package recursion facility in sphinx.ext.autosummary version 3.1
tarski-playlist-maker
A simple playlist maker implemented with PDDL using tarski.