\set ECHO none
name|executable|operations|input_formats|output_format|parser
c2d|c2d|{compile}|{dimacs-cnf}|ddnnf-nnf|nnf
d4|d4|{compile}|{dimacs-cnf}|ddnnf-nnf|nnf
d4v2|d4v2|{compile}|{circuit-bcs12,dimacs-cnf}|ddnnf-nnf|nnf
dpmc||{wmc}|{dimacs-cnf}|decimal|wmc-line
dsharp|dsharp|{compile}|{dimacs-cnf}|ddnnf-nnf|nnf
ganak|ganak|{wmc}|{dimacs-cnf}|decimal|wmc-line
graph-easy|graph-easy|{render}|{dot}|ascii|ascii
minic2d|minic2d|{compile}|{dimacs-cnf}|ddnnf-nnf|nnf
panini-decdnnf|panini|{compile}|{dimacs-cnf}|panini-dd|panini-dd
panini-obdd|panini|{compile}|{dimacs-cnf}|panini-dd|panini-dd
panini-obdd-and|panini|{compile}|{dimacs-cnf}|panini-dd|panini-dd
sharpsat-td|sharpsat-td|{wmc}|{dimacs-cnf}|decimal|wmc-line
weightmc|weightmc|{wmc}|{dimacs-cnf}|decimal|weightmc
(13 rows)
name|argtpl_circuit
d4v2|-i {in} --input-type circuit -t pcnf --dump-file {out}
(1 row)
register_tool

(1 row)
name|executable|operations|input_formats|output_format|parser|argtpl|preference
acme-kc|/opt/acme/akc|{compile}|{dimacs-cnf}|ddnnf-nnf|nnf|-dDNNF {in} -out={out}|120
(1 row)
name|removed
acme-kc|f
(1 row)
register_tool

(1 row)
rows|pref|enabled
1|5|f
(1 row)
register_tool

(1 row)
executable|kind
baretool|cli
(1 row)
set_tool_enabled

(1 row)
enabled
f
(1 row)
set_tool_preference

(1 row)
preference
7
(1 row)
ERROR:  ProvSQL: set_tool_enabled: no tool named 'no-such-tool' is registered
ERROR:  ProvSQL: set_tool_preference: no tool named 'no-such-tool' is registered
unregister_tool

(1 row)
count
0
(1 row)
ERROR:  ProvSQL: unregister_tool: no tool named 'acme-kc' is registered
add_provenance

(1 row)
ERROR:  ProvSQL: Unknown compiler 'no-such-compiler'
set_tool_enabled

(1 row)
ERROR:  ProvSQL: Compiler 'dsharp' is disabled in the tool registry
set_tool_enabled

(1 row)
ERROR:  ProvSQL: Compiler 'panini-obdd' is disabled in the tool registry
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
ERROR:  ProvSQL: no knowledge compiler is available; install one (d4, d4v2, c2d, minic2d, dsharp) or add its directory to provsql.tool_search_path
ERROR:  ProvSQL: Unknown wmc tool 'no-such-counter'
set_tool_enabled

(1 row)
ERROR:  ProvSQL: Tool 'ganak' is disabled in the tool registry
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
set_tool_enabled

(1 row)
ERROR:  ProvSQL: no weighted model counter is available; install one (ganak, sharpsat-td, dpmc, weightmc) or add its directory to provsql.tool_search_path
register|unregister|set_enabled|set_preference
f|f|f|f
(1 row)