Decision Mode
Synthesis Mode
FORTify

SYNTHESIS TOOL

Given a signature and a formula, the tool tries to synthesize the rules for a TRS with the given signature which satisfies the given formula.

Formula

#TRSs to be synthesized

LV-TRSs

Signature

More Options

When no signature is specified use the following options to generate a signature

maximum arity

signature step

Bound the search space

minimum #rules

maximum #rules

#variables

maximum height

Additional Options

Timeout

Start

Result