__ _       _              _                      
  ___ ___  _ __  / _(_) __ _| |_ ___   ___ | |___   ___  _ __ __ _ 
 / __/ _ \| '_ \| |_| |/ _` | __/ _ \ / _ \| / __| / _ \| '__/ _` |
| (_| (_) | | | |  _| | (_| | || (_) | (_) | \__ \| (_) | | | (_| |
 \___\___/|_| |_|_| |_|\__, |\__\___/ \___/|_|___(_)___/|_|  \__, |
                       |___/                                 |___/ 
Kmax, Kclause, and Klocalizer
SuperC
More information