Ctrl+K
Ctrl+K

CLI

CLI#

The command line interface (CLI) to Booleguru is the main method of interacting with the program. Use it to compose formulas and to apply transformations.

Full Grammar of the Expression Language#

The CLI expression language is defined through an ANTLR4 grammar which is given in full below.

parser grammar cli_parser#
rule invocation#

exprformat:::commandeof

rule expr#

expr:(matching_parenexpr:call_codenotexprexprandexprexprorexprexprxorexprexprimplexprexprlpmiexprexprequiexprlparexprrparforallvarexprexistsvarexprtopbottomvarformatpathexpr::(matching_parenexprexpr::call_codeexpr:(matching_paren:call_code

rule format#

dimacssmtlibboole--qcirpython--lua--none

rule var#

𝑣𝑡id{id}[id]

lexer grammar cli_lexer#
rule and#

'--and''\u2227''&'

rule or#

'--or''/''\u2228''|'

rule not#

'--not''!''~'

rule xor#

'--xor''^'

rule lpar#

'(''--lpar'

rule rpar#

')''--rpar'

rule impl#

'--impl''impl''->'

rule lpmi#

'--lpmi''lpmi''<-'

rule equi#

'--equi''--equivalent''<->'

rule forall#

'--forall''#''@''\u2200'

rule exists#

'--exists''?''\u2203'

rule lcurl#

'{'

rule rcurl#

'}'

rule lbrack#

'['

rule rbrack#

']'

rule tseitin#

'𝑡'

rule vec#

'𝑣'

rule top#

'\u8868''⊤'

rule bottom#

'\u8869''⊥'

rule dimacs#

'--dimacs''--qdimacs'

rule smtlib#

'--smt''--smtlib''--smtlib2'

rule boole#

'--boole''--bool''--limboole'

rule qcir#

'--qcir'

rule python#

'--py''--python'

rule lua#

'--lua'

rule none#

'--none'

rule fennel_subst#

':('

rule fennel_bin_subst#

'::('

rule fennel_call#

':'

rule fennel_bin_call#

'::'

rule eol_fennel_subst#

':::'

rule id#

[0-9A-Za-z\u0080-\u2199\u22FF-\uFFFF_'"]

rule path#

'.''/''~'[,#\-./0-9A-Za-z\u0080-\u2199\u22FF-\uFFFF_'"\][]'fuzz'

rule ws#

[ \t\f]

rule matching_paren#

~[()]matching_paren'('matching_paren~[()]')'

rule end_paren#

')'

rule command#

~[\r\n]

rule eol#

'\r\n''\n'

rule call_code#

~[ \r\n\t\f]

rule end_call#

'\r''\n''\t''\f'' 'eof

Contents