towerfmt. CLI and webserver for automatic translation of Simon Tatham's Towers encoding to Prolog terms.

github.com/mizlan/towerfmt
by @mizlan

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.