Download Latest Version SourceCodeEnglish.zip (464.7 kB)
Email in envelope

Get an email when there's a new version of FOLST

Home
Name Modified Size InfoDownloads / Week
SourceCodeEnglish.zip 2012-09-06 464.7 kB
0
CodigoFuente.zip 2012-09-06 498.6 kB
0
FOLST_windows_english.zip 2012-09-06 6.2 MB
0
FOLST_linux_english 2012-09-06 719.6 kB
0
FOLST_windows.zip 2012-09-06 9.0 MB
0
FOLST_linux 2012-09-06 720.4 kB
0
readme.txt 2012-09-06 943 Bytes
0
InstruccionesParaExtender.pdf 2012-09-06 70.0 kB
Totals: 8 Items   17.7 MB 0 
FOLST: A tool to support First Order Logic semantics learning.


Linux release is a stand-alone executable file. YOU SHOULD ADD EXECUTION PERMISSIONS TO IT: e.g. right click -> Properties -> Permissions -> Allow executing as a program.

Windows release includes a portable compressed folder, being FOLST.exe the executable file.

There are two copies of both the source code and the executables, one for english language and one for spanish.

-----------------

FOLST: Una herramienta didáctica para la Lógica de Predicados de Primer Orden.


La versión para Linux es un archivo ejecutable. HAY QUE AGREGARLE PERMISOS DE EJECUCIÓN: por ejemplo, Click derecho -> Propiedades -> Permisos -> Permitir ejecutar al archivo como un programa.


La versión de Windows consiste en una carpeta comprimida, portable, siendo FOLST.exe el ejecutable.

Hay dos copias tanto del código fuente como de los ejecutables, una en inglés y otra en español.
Source: readme.txt, updated 2012-09-06