mcifra

Slovakia

Pinned Repositories

structure-explorer
Structure explorer for first order logic
Language:JavaScript0 3 205
courses-backend
Language:JavaScript0 4 241
courses-backend-stable
Stable version of courses-backend with production URLs
Language:JavaScript0 3 00
prieskumnik-struktur
Prieskumník sémantiky logiky prvého rádu
Language:JavaScript1 2 120
sokoban
Simple Sokoban solver using SAT solver Minisat
Language:Python2 1 00

mcifra's Repositories

mcifra/sokoban
Simple Sokoban solver using SAT solver Minisat
Language:Python2 1 00
mcifra/prieskumnik-struktur
Prieskumník sémantiky logiky prvého rádu
Language:JavaScript1 2 120