https://github.com/jessealama/tipi
Tip revision: 207bf38dbcbc2d98f90198ec875496f2eec721d2 authored by Jesse Alama on 11 October 2012, 11:58:08 UTC
We don't use Getopt::Long any more.
We don't use Getopt::Long any more.
Tip revision: 207bf38
| File | Mode | Size |
|---|---|---|
| bin | ||
| examples | ||
| lib | ||
| reference | ||
| t | ||
| xsl @ 3b65d2e | ||
| .gitignore | -rw-r--r-- | 18 bytes |
| .gitmodules | -rw-r--r-- | 168 bytes |
| Makefile | -rw-r--r-- | 1.1 KB |
| README | -rw-r--r-- | 1.1 KB |
| README.mkdn | -rw-r--r-- | 12.4 KB |
| consequence.lisp | -rw-r--r-- | 1.6 KB |
| formulas.lisp | -rw-r--r-- | 22.3 KB |
| ignore.txt | -rw-r--r-- | 114 bytes |
| independent.lisp | -rw-r--r-- | 2.8 KB |
| minimal.lisp | -rw-r--r-- | 2.3 KB |
| model.lisp | -rw-r--r-- | 918 bytes |
| needed.lisp | -rw-r--r-- | 2.6 KB |
| packages.lisp | -rw-r--r-- | 513 bytes |
| result.lisp | -rw-r--r-- | 1.8 KB |
| run.lisp | -rw-r--r-- | 1.1 KB |
| solve.lisp | -rw-r--r-- | 9.9 KB |
| szs.lisp | -rw-r--r-- | 15.6 KB |
| terms.lisp | -rw-r--r-- | 1.7 KB |
| tipi.asd | -rw-r--r-- | 797 bytes |
| tipi.lisp | -rw-r--r-- | 6.0 KB |
| tptp.lisp | -rw-r--r-- | 9.4 KB |
| utils.lisp | -rw-r--r-- | 4.6 KB |
| xslt.lisp | -rw-r--r-- | 7.4 KB |
