F L i P Home User's guide Reference Logics Code Notes PyPI GitHub
Flip is a logical framework written in Python.
Download the software and documents as a zip file or compressed tar archive: FLiP-1.2.zip FLiP-1.2.tar.gz
FLiP is also available at PyPI and GitHub.
Unpacking the archive creates a FLiP-1.2 directory with these subdirectories:
| bin | Shell scripts (and .bat files for Windows) |
| flip | Python code |
| notes | Notes on framework internals and tests |
| www | These web pages, including user's guide and reference |
The flip directory is a Python package which includes these directories (packages):
| logic | Core programs and logic modules |
| poset | Sample logic module with tests |
| test | Test modules, scripts, and output | grail | "She's a witch!" proof from Monty Python and the Holy Grail |
You can run FLiP right out of the unpacked distribution directories. No further installation is necessary. It is convenenent to put the FLiP-1.2 directory on PYTHONPATH because it contains the flip package. Use the flip_path script in the distribution bin directory.
Starting with version 1.2, you can also install FLiP using the setup.py script in the FLiP-1.2 directory: python setup.py install. This usually has the effect of installing the flip package in some directory which is on PYTHONPATH, so you needn't do anything more to begin using FLiP.
To use Flip you must have Python. First run the tests. Then follow the directions in the User's Guide.
Flip uses Python 2.x, not 3.x. Flip has been tested with Python 2.3, 2.5, and 2.6 on Windows, Mac OS X, and Linux.
Flip is covered by the GNU General Public License (GPL). Code and documents are copyright (C) 2009, 2010, 2011 Jonathan Jacky.