Error whenever --translate-opt is used together with a different command line option starting with t (probably also true for other options ;) )
clingcon 5.0.1.post5 pypi_0 pypi (wip)
$ clingcon --translate-opt=10
clingcon version 5.0.1
Reading from stdin
Solving...
Answer: 1
Assignment:
SATISFIABLE
Models : 1+
Calls : 1
Time : 1.147s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.001s
$ clingcon --translate-opt=10 -t1
*** ERROR: (clingcon): In context '<clingcon>': '10' invalid value for: 'translate-opt'
*** Info : (clingcon): Try '--help' for usage information
$ clingcon --translate-opt=10 --shift-constraints --refine-reasons=yes
clingcon version 5.0.1
Reading from stdin
Solving...
Answer: 1
Assignment:
SATISFIABLE
Models : 1+
Calls : 1
Time : 0.453s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.001s
17:05 $ clingcon --translate-opt=10 --shift-constraints --refine-reasons=yes --translate-pb=0
*** ERROR: (clingcon): In context '<clingcon>': '0' invalid value for: 'translate-pb'
*** Info : (clingcon): Try '--help' for usage information
$ clingcon --translate-pb=0
clingcon version 5.0.1
Reading from stdin
Solving...
Answer: 1
Assignment:
SATISFIABLE
Models : 1+
Calls : 1
Time : 1.084s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time : 0.001s
Error whenever
--translate-opt
is used together with a different command line option starting witht
(probably also true for other options ;) )clingcon 5.0.1.post5 pypi_0 pypi (wip)