2 open source projects by Felienne

Hedy is a gradual programming language, which increases in syntactic elements level by level.

This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie