User Tools

Site Tools


help:core:preferences-tools

External tool preferences

In External tools section of the Preferences window you can specify the default settings for backend tools.

MPSat synthesis

External tools preferences for MPSat synthesis

MPSat verification

External tools preferences for MPSat verification

PComp

External tools preferences for PComp

Petrify

External tools preferences for Petrify

Plato

External tools preferences for Plato

Process windows

External tools preferences for Process windows

Punf

External tools preferences for Punf

SAT solver

External tools preferences for SAT solver

ScEnco

External tools preferences for ScEnco

Waver

External tools preferences for Waver