GitHub topics: einstein-riddle
Aleksandr3Bocharov/RefalABEinshteinPuzzle
Решение задачи Эйнштейна на РефалАБ
Language: C - Size: 386 KB - Last synced at: about 13 hours ago - Pushed at: about 15 hours ago - Stars: 0 - Forks: 0
tensor-fusion/Einstein-Riddle-Z3
Solving Einstein's Fish riddle with the Z3 theorem prover.
Language: SMT - Size: 8.79 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
cwpearson/dust-district
Brute-force solution to Jindosh Riddle in the Dust District
Language: C++ - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
MKaczkow/einstein_riddle_solver
Solving classical Enstein's Riddle using Prolog
Language: Prolog - Size: 10.7 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
