search

fibo / tris3d

is a 3d tic tac toe algorithm powered by Z3 space
http://g14n.info/tris3d
0 stars 1 forks source link

KLP #1

Open fibo opened 8 years ago

fibo commented 8 years ago

Use Kiss Literate programming + khatex and it will be ready for version 1.

fibo commented 7 years ago

Do not use khatex for formula, maybe use mathjax. Also klp could bè a bad idea. Think about it