Download F L i P

Jonathan Jacky

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.tar.gz

FLiP is also available at PyPI and GitHub.

Unpacking the archive creates a FLiP-1.2 directory with these subdirectories:

binShell scripts (and .bat files for Windows)
flipPython code
notes   Notes on framework internals and tests
wwwThese 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
testTest 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 script in the FLiP-1.2 directory: python 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.

F L i P Home   Download   User's guide   Reference   Logics   Code   Tests   Notes   PyPI   GitHub