A fun reversi derivative board game
-
Updated
Feb 26, 2021 - JavaScript
A fun reversi derivative board game
SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
Constrain satisfaction solver for Social Golfer problem using SICStus Prolog
Repository for the PLOG projects that were done in the 19/20 school year.
Add a description, image, and links to the sicstus topic page so that developers can more easily learn about it.
To associate your repository with the sicstus topic, visit your repo's landing page and select "manage topics."