mode links bytes last-changed name
dr-x 2 512 Oct 16 2009 ./ dr-x 6 1536 Jun 19 17:36 ../ -r-- 1 1395 Sep 30 2009 LICENSE.txt -r-- 1 1756 Oct 16 2009 README.txt -r-- 1 7071 Sep 22 2009 lisp_reader.py -r-- 1 3664 Sep 29 2009 nodes.py -r-- 1 33137 Oct 16 2009 solver.py