synthphonia::parser

Module config

Source
Expand description

Parser for specific configuration in extended SyGuS-IF

Structsยง

Config
A configuration fields of extended SyGuS-IF. Holding a collection of key-value pairs.