<commit_before># Compiler

This is the compiler that compiles files from the `touisl` language to the well-known [DIMACS](http://www.satcompetition.org/2009/format-benchmarks2009.html) format.

`touisl` is the high-level logic langage for expressing succintly complex formulas in propositionnal logic (and more).

## Grammar

Input language grammar

TODO

## Usage
From the `touistl.native --help`:
```
TouistL compiles files from the TouIST Language to SAT-DIMACS/SMT-LIB2
Usage: touistc.native [-o translatedFile] [-table tableFile] file
Note: if either tableFile or translatedFile is missing,
artibrary names will be given.
  -o The translated file
  -table The literals table table (for SAT_DIMACS)
  -help  Display this list of options
  --help  Display this list of options
```

## Example

### The input file
File `foo.touistl`:
```
;; this is a comment
;; comment MUST be preceded by TWO semicolons<commit_msg>fix typo<commit_after># Compiler

This is the compiler that compiles files from the `touistl` language to the well-known [DIMACS](http://www.satcompetition.org/2009/format-benchmarks2009.html) format.

`touisl` is the high-level logic langage for expressing succintly complex formulas in propositionnal logic (and more).

## Grammar

Input language grammar

TODO

## Usage
From the `touistc.native --help`:
```
TouistL compiles files from the TouIST Language to SAT-DIMACS/SMT-LIB2
Usage: touistc.native [-o translatedFile] [-table tableFile] file
Note: if either tableFile or translatedFile is missing,
artibrary names will be given.
  -o The translated file
  -table The literals table table (for SAT_DIMACS)
  -help  Display this list of options
  --help  Display this list of options
```

## Example

### The input file
File `foo.touistl`:
```
;; this is a comment
;; comment MUST be preceded by TWO semicolons
{'fraction_non_alphanumeric': 0.08733624454148471, 'fraction_numerical': 0.009825327510917031, 'mean_word_length': 4.455357142857143, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5242162', 'n_tokens_mistral': 596, 'n_tokens_neox': 553, 'n_words': 226}