A Proof Checker for Linear Logic
Linear logic is a refinement of traditional (or classical) logic which is conscious of resource usage, and tracks resources carefully. This logic has many applications in Computer Science (such as in the design of…
Search by tag: logic
Minesweeper Hint System
Imagine playing Minesweeper and getting stuck. This system uses smart techniques to assist your gameplay. It combined two solving methods: constraint programming, which helps narrow down where mines might be based on…