Index of /current_tree/equations/xkcd287

 Name                     Last modified      Size  Description
 Parent Directory                              -   
 xkcd287_Z3_sexpr.txt     2021-07-15 01:47  432   
 xkcd287_Z3_sexpr.py      2021-07-15 01:47  542   
 xkcd287_Z3.py            2021-02-14 02:48  524   
 xkcd287_MK85.py          2021-02-14 02:48  496   
 xkcd287.smt              2020-07-05 19:43  1.5K  
 np_complete.png          2020-07-05 19:43  108K  
 main_EN.tex              2021-07-15 01:47  2.6K  
 diff.txt                 2021-07-15 01:47  315   
 287_v1.png               2020-07-05 19:43   81K