<commit_before>TouIST, the IDE for propositional logic
=======================================

[![Travis (Linux/Mac) build state](https://travis-ci.org/touist/touist.svg?branch=master)](https://travis-ci.org/touist/touist)
[![Appveyor (Windows)](https://ci.appveyor.com/api/projects/status/rayupfflmut8xbe0?svg=true)](https://ci.appveyor.com/project/maelvalais/touist-kila4)

## I want to try
[Get the latest release here](https://github.com/touist/touist/releases). Touist works on **macOS** (x86_64 only), **Linux** x86\_64 and **Windows** (x86 or x64\_86). Just download, unzip and double-click on `touist.jar` (you can also use the command-line `touist` in `./external/`)

You can also look at the [Touist language reference](http://touist.github.io/reference-manual.html) ([pdf version](http://touist.github.io/reference-manual.pdf)).

## Description

TouIST is a user-friendly tool for solving propositionnal logic problems using a high-level logic language (known as the _bigand_ format or syntax or language). This language allows complex expressions like _big and_, _sets_...

We can for example solve the problem "Wolf, Sheep, Cabbage", or a sudoku, or any problem that can be expressed in propositionnal logic.

The TouIST has been initialized by <NAME> and <NAME>, associate professors at the _Institut de Recherche en Informatique de Toulouse_ (IRIT). It is a "second" or "new" version of a previous program, [SAToulouse](http://www.irit.fr/satoulouse/).

The development is done by a team of five students in first year of master's degree at the _Université Toulouse III — <NAME>_. This project is a part of their work at school. See [CONTRIBUTORS](https://github.com/touist/touist/blob/master/CONTRIBUTORS.md).

Here is the main screen with the formulas:  
![formulas](https://cloud.githubusercontent.com/assets/2195781/13850422/185bcf66-ec5a-11e5-9fee-59b5c2ae38b7.png)

And the screen with the sets:  
![sets](https://cloud.githubusercontent.com/assets/2195781/13850431/20162d82-ec5a-11e5-884a-e8b6aaafe416.png)

Touist is platform-specific because of the ocaml `touist` translator that translates the high-level `.touistl` (touist language files) into `SAT_DIMACS` or `SMT2` is compiled into an architecture-specific binary (for performances).

We have some issues with compiling the ocaml translator for Windows. Some of the first releases have been compiled for Windows, but the tool we used has been discontinued ([see corresponding issue](https://github.com/touist/touist/issues/5)).


## What is Touist made of?<commit_msg>readme: advertise the command-line tool since it is on opam<commit_after>TouIST, the IDE for propositional logic
=======================================

[![Travis (Linux/Mac) build state](https://travis-ci.org/touist/touist.svg?branch=master)](https://travis-ci.org/touist/touist)
[![Appveyor (Windows)](https://ci.appveyor.com/api/projects/status/rayupfflmut8xbe0?svg=true)](https://ci.appveyor.com/project/maelvalais/touist-kila4)

## I want to try
Touist can be either used as a command-line tool or through a graphical interface
that wraps the command-line tool:

* The graphical interface can be [downloaded here](https://github.com/touist/touist/releases).
It embeds the command-line tool. The graphical interface works on **macOS**
(x86_64 only), **Linux** x86\_64 and **Windows** (x86 or x64\_86). Just download
it, unzip and double-click on `touist.jar` (the command-line tool `touist` is
in `./external/`)
* The command-line tool can be installed using `opam install touist`. To use it, type for example `echo a and b | touist - --solve`

You can also look at the [Touist language reference](http://touist.github.io/reference-manual.html) ([pdf version](http://touist.github.io/reference-manual.pdf)).

## Description

TouIST is a user-friendly tool for solving propositionnal logic problems using a high-level logic language (known as the _bigand_ format or syntax or language). This language allows complex expressions like _big and_, _sets_...

We can for example solve the problem "Wolf, Sheep, Cabbage", or a sudoku, or any problem that can be expressed in propositionnal logic.

The TouIST has been initialized by <NAME> and <NAME>, associate professors at the _Institut de Recherche en Informatique de Toulouse_ (IRIT). It is a "second" or "new" version of a previous program, [SAToulouse](http://www.irit.fr/satoulouse/).

The development is done by a team of five students in first year of master's degree at the _Université Toulouse III — <NAME>_. This project is a part of their work at school. See [CONTRIBUTORS](https://github.com/touist/touist/blob/master/CONTRIBUTORS.md).

Here is the main screen with the formulas:  
![formulas](https://cloud.githubusercontent.com/assets/2195781/13850422/185bcf66-ec5a-11e5-9fee-59b5c2ae38b7.png)

And the screen with the sets:  
![sets](https://cloud.githubusercontent.com/assets/2195781/13850431/20162d82-ec5a-11e5-884a-e8b6aaafe416.png)

Touist is platform-specific because of the ocaml `touist` translator that translates the high-level `.touistl` (touist language files) into `SAT_DIMACS` or `SMT2` is compiled into an architecture-specific binary (for performances).

We have some issues with compiling the ocaml translator for Windows. Some of the first releases have been compiled for Windows, but the tool we used has been discontinued ([see corresponding issue](https://github.com/touist/touist/issues/5)).


## What is Touist made of?
{'fraction_non_alphanumeric': 0.12101210121012101, 'fraction_numerical': 0.03116978364503117, 'mean_word_length': 5.007709251101321, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, 'https://': 18, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5462561', 'n_tokens_mistral': 1833, 'n_tokens_neox': 1696, 'n_words': 593}