Problem running acclingo with clingo in clingo mode

[javier-romero]

Hi,

I can run now instances in aspif format, but I am trying to make it work with gringo files and I don't manage.
Here is what I obtain. Thanks for your help!

$ python scripts/acclingo --instance_dir ./examples --binary binaries/clingo --tae_args "{\"mode\": \"clingo\"}" --verbose_level DEBUG
INFO:smac.utils.io.cmd_reader.CMDReader:Output to smac3-output_2021-06-25_12:51:32_159860                                                                                                                                       
DEBUG:smac.scenario.scenario.Scenario:SMAC and Scenario Options:                                                                                                                                                                
DEBUG:smac.scenario.scenario.Scenario:Output directory does not exist! Will be created.                                                                                                                                         
DEBUG:smac.scenario.scenario.Scenario:Writing scenario-file to smac3-output_2021-06-25_12:51:32_159860/run_12345/scenario.txt.                                                                                                  
DEBUG:smac.scenario.scenario.Scenario:Setting the pcs_fn-attr of written scenario from pcs/params.pcs to smac3-output_2021-06-25_12:51:32_159860/run_12345/params.json                                                          
WARNING:smac.facade.smac_ac_facade.SMAC4AC:Runtime as objective automatically activates log(y) transformation                                                                                                                   
INFO:smac.initial_design.default_configuration_design.DefaultConfiguration:Running initial design for 1 configurations                                                                                                          
INFO:smac.optimizer.smbo.SMBO:Running initial design                                                                                                                                                                            
DEBUG:smac.intensification.intensification.Intensifier:Using challengers provided                                                                                                                                               
DEBUG:smac.optimizer.smbo.SMBO:Total time: 0.0001, time spent on choosing next configurations: 0.0000 (0.50), time left for intensification: 0.0000 (0.50)                                                                      
DEBUG:smac.optimizer.smbo.SMBO:Intensify - evaluate challenger                                                                                                                                                                  
INFO:smac.intensification.intensification.Intensifier:First run, no incumbent provided; challenger is assumed to be the incumbent                                                                                               
DEBUG:smac.intensification.intensification.Intensifier:Intensify on Configuration:                                                                                                                                              
  @0:1:sat-prepro, Value: '2'                                                                                                                                                                                                   
  @0:2:sat-prepro, Value: 10                                                                                                                                                                                                    
  @0:3:sat-prepro, Value: 25                                                                                                                                                                                                    
  @0:4:sat-prepro, Value: '0'                                                                                                                                                                                                   
  @0:5:sat-prepro, Value: 0                                                                                                                                                                                                     
  @0:F:backprop, Value: 'yes'                                                                                                                                                                                                   
  @0:F:learn-explicit, Value: 'no'                                                                                                                                                                                              
  @0:F:no-gamma, Value: 'no'                                                                                                                                                                                                    
  @0:S:eqCond, Value: 'no'                                                                                                                                                                                                      
  @0:S:sat-prepro, Value: 'yes'                                                                                                                                                                                                 
  @0:no:eq, Value: '0'                                                                                                                                                                                                          
  @0:solver, Value: 'clasp-3'                                                                                                                                                                                                   
  @0:trans-ext, Value: 'dynamic'                                                                                                                                                                                                
  @1:0:block-restarts, Value: '0'                                                                                                                                                                                               
  @1:0:del-cfl, Value: 'no'                                                                                                                                                                                                     
  @1:0:heuristic, Value: 'Vsids'                                                                                                                                                                                                
  @1:0:opt-strategy, Value: 'bb'                                                                                                                                                                                                
  @1:0:restarts, Value: 'x'                                                                                                                                                                                                     
  @1:0:strengthen, Value: 'local'                                                                                                                                                                                               
  @1:1:BB:opt-strategy, Value: '0'                                                                                                                                                                                              
  @1:1:Simp:restarts, Value: 128                                                                                                                                                                                                
  @1:1:del-glue, Value: 2                                                                                                                                                                                                       
  @1:1:del-grow, Value: 1.1                                                                                                                                                                                                     
  @1:1:del-init, Value: 3.0                                                                                                                                                                                                     
  @1:1:deletion, Value: 'basic'                                                                                                                                                                                                 
  @1:1:lookahead, Value: 'no'                                                                                                                                                                                                   
  @1:1:strengthen, Value: '0'                                                                                                                                                                                                   
  @1:1:vsids:heuristic, Value: '95'                                                                                                                                                                                             
  @1:2:Geo:restarts, Value: 1.5                                                                                                                                                                                                 
  @1:2:del-glue, Value: '0'                                                                                                                                                                                                     
  @1:2:del-grow, Value: 20.0                                                                                                                                                                                                    
  @1:2:del-init, Value: 1000                                                                                                                                                                                                    
  @1:2:deletion, Value: 75                                                                                                                                                                                                      
  @1:2:strengthen, Value: '0'                                                                                                                                                                                                   
  @1:3:del-init, Value: 9000                                                                                                                                                                                                    
  @1:3:deletion, Value: '0'                                                                                                                                                                                                     
  @1:F:init-moms, Value: 'no'                                                                                                                                                                                                   
  @1:F:local-restarts, Value: 'no'                                                                                                                                                                                              
  @1:F:nant, Value: 'no'                                                                                                                                                                                                        
  @1:F:restart-on-model, Value: 'no'                                                                                                                                                                                            
  @1:F:sign-fix, Value: 'no'                                                                                                                                                                                                    
  @1:F:update-act, Value: 'no'                                                                                                                                                                                                  
  @1:F:vsids-acids, Value: 'no'                                                                                                                                                                                                 
  @1:No:contraction, Value: 'no'                                                                                                                                                                                                
  @1:No:vsids-progress, Value: 'no'                                                                                                                                                                                             
  @1:S:Geo:aryrestarts, Value: '2'                                                                                                                                                                                              
  @1:S:contraction, Value: 'no'                                                                                                                                                                                                 
  @1:S:counterCond, Value: 'yes'                                                                                                                                                                                                
  @1:S:del-grow, Value: 'yes'                                                                                                                                                                                                   
  @1:S:deletion, Value: 'yes'                                                                                                                                                                                                   
  @1:S:growSched, Value: 'no'                                                                                                                                                                                                   
  @1:S:vsids-progress, Value: 'no'                                                                                                                                                                                              
  @1:configuration, Value: 'auto'                                                                                                                                                                                               
  @1:counter-bump, Value: 10                                                                                                                                                                                                    
  @1:counter-restarts, Value: 3                                                                                                                                                                                                 
  @1:del-estimate, Value: '0'                                                                                                                                                                                                   
  @1:del-max, Value: 250000                                                                                                                                                                                                     
  @1:del-on-restart, Value: 0                                                                                                                                                                                                   
  @1:init-watches, Value: '2'                                                                                                                                                                                                   
  @1:loops, Value: 'no'                                                                                                                                                                                                         
  @1:opt-heuristic, Value: '0'                                                                                                                                                                                                  
  @1:otfs, Value: '2'                                                                                                                                                                                                           
  @1:partial-check, Value: '0'                                                                                                                                                                                                  
  @1:rand-freq, Value: '0.0'                                                                                                                                                                                                    
  @1:reset-restarts, Value: '0'                                                                                                                                                                                                 
  @1:reverse-arcs, Value: '1'                                                                                                                                                                                                   
  @1:save-progress, Value: 180                                                                                                                                                                                                  
  @1:score-other, Value: '1'                                                                                                                                                                                                    
  @1:score-res, Value: '2'                                                                                                                                                                                                      
  @1:sign-def, Value: '1'                                                                                                                                                                                                       
  @1:update-lbd, Value: '0'                                                                                                                                                                                                     

DEBUG:smac.intensification.intensification.Intensifier:Configuration origin: Default                                                                                                                                            
DEBUG:smac.intensification.intensification.Intensifier:No run for incumbent found                                                                                                                                               
DEBUG:smac.intensification.intensification.Intensifier:Add run of incumbent                                                                                                                                                     
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Calling: setsid binaries/runsolver -C 10 -M 2048 -w /home/davila/git/potassco/acclingo/watcher-959768-h3u5i0sz.log -o /home/davila/git/potassco/acclingo/solver-959768-vlxaajo8.log binaries/clingo  ./examples/pigeon-5.lp --seed 561383553  --backprop --trans-ext=dynamic --sat-prepro=2,10,25,0,0 --eq=0 --mode=clingo --configuration=config_file.tmp --quiet=2 --stats --parallel-mode=1                            
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Stdout: 
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Stderr: 
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Reading runsolver output from /home/davila/git/potassco/acclingo/watcher-959768-h3u5i0sz.log
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:reading solver results from /home/davila/git/potassco/acclingo/solver-959768-vlxaajo8.log
WARNING:acclingo.tae.clasp_tae.ClaspTAE:Target algorithm crashed. Last 5 lines of stdout and stderr
WARNING:acclingo.tae.clasp_tae.ClaspTAE:
WARNING:acclingo.tae.clasp_tae.ClaspTAE:
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Return: Status: <StatusType.CRASHED: 3>, cost: 100.000000, time: 0.000914, additional: {}
DEBUG:smac.stats.stats.Stats:Saving stats to smac3-output_2021-06-25_12:51:32_159860/run_12345/stats.json
INFO:smac.stats.stats.Stats:##########################################################
INFO:smac.stats.stats.Stats:Statistics:
INFO:smac.stats.stats.Stats:#Incumbent changed: -1
INFO:smac.stats.stats.Stats:#Target algorithm runs: 1 / inf
INFO:smac.stats.stats.Stats:#Configurations: 1
INFO:smac.stats.stats.Stats:Used wallclock time: 0.03 / 360.00 sec 
INFO:smac.stats.stats.Stats:Used target algorithm runtime: 0.00 / inf sec
DEBUG:smac.stats.stats.Stats:Debug Statistics:
INFO:smac.stats.stats.Stats:##########################################################
INFO:smac.facade.smac_ac_facade.SMAC4AC:Final Incumbent: None
Traceback (most recent call last):
  File "scripts/acclingo", line 20, in <module>
    acc.main()
  File "/home/davila/git/potassco/acclingo/acclingo/acclingo.py", line 55, in main
    conf = smac.optimize()
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/facade/smac_ac_facade.py", line 555, in optimize
    incumbent = self.solver.run()
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/optimizer/smbo.py", line 211, in run
    time_bound=max(self.intensifier._min_time, time_left))
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/intensification/intensification.py", line 200, in eval_challenger
    self._add_inc_run(incumbent=incumbent, run_history=run_history)
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/intensification/intensification.py", line 305, in _add_inc_run
    instance_specific=self.instance_specifics.get(next_instance, "0"))
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/tae/execute_ta_run.py", line 254, in start
    raise FirstRunCrashedException("First run crashed, abort. "
smac.tae.execute_ta_run.FirstRunCrashedException: First run crashed, abort. Please check your setup -- we assume that your defaultconfiguration does not crashes. (To deactivate this exception, use the SMAC scenario option 'abort_on_first_run_crash')
(base) 
[/home/davila/git/potassco/acclingo]
[davila][belle-ile] $ cat examples/pigeon-5.lp 
pigeon(1..n+1). box(1..n).
1 { in(X,Y) : box(Y) } 1 :- pigeon(X).
:- 2 { in(X,Y) : pigeon(X) },  box(Y).
#const n=5.
(base) 
[/home/davila/git/potassco/acclingo]
[davila][belle-ile] $ cat config_file.tmp 
1(auto): --block-restarts=0 --heuristic=Vsids,95 --opt-strategy=bb,0 --restarts=x,128,1.5 --strengthen=local,0,0 --lookahead=no --init-watches=2 --loops=no --opt-heuristic=0 --otfs=2 --partial-check=0 --rand-freq=0.0 --reset-restarts=0 --reverse-arcs=1 --save-progress=180 --score-other=1 --sign-def=1 --update-lbd=0 --del-cfl=no --del-glue=2,0 --del-grow=1.1,20.0 --del-init=3.0,1000,9000 --deletion=basic,75,0 --contraction=no --counter-bump=10 --counter-restarts=3 --del-estimate=0 --del-max=250000 --del-on-restart=0 --score-res=2 --vsids-progress=no
(base) 
[/home/davila/git/potassco/acclingo]
[davila][belle-ile] $ binaries/clingo  ./examples/pigeon-5.lp --seed 561383553  --backprop --trans-ext=dynamic --sat-prepro=2,10,25,0,0 --eq=0 --mode=clingo --configuration=config_file.tmp --quiet=2 --stats --parallel-mode=1
clingo version 5.1.0
Reading from ./examples/pigeon-5.lp
Segmentation fault

[kstrauch94]

Hi Javier,

I see from the output that you are using the default "params.pcs" file. It seems that it is outdated and the parameters do not have the correct arguments. Could you try again using all_params.pcs?

If it does resolve the problem let me know so that I can delete the old file and add a new default.

[javier-romero]

Hola, I can try, but I don't know how, what should I do for that?

[kstrauch94]

To use a different pcs file use the --pcs_file option.
So, add --pcs_file=pcs/all_params.pcs to your command line.

[javier-romero]

Mmm, still doesnt work:

python scripts/acclingo --instance_dir ./examples --binary binaries/clingo --tae_args "{\"mode\": \"clingo\"}" --verbose_level DEBUG --pcs_file=pcs/all_params.pcs                                        

INFO:smac.utils.io.cmd_reader.CMDReader:Output to smac3-output_2021-06-29_11:06:53_952611                                                                                                                                       
DEBUG:smac.scenario.scenario.Scenario:SMAC and Scenario Options:                                                                                                                                                                
DEBUG:smac.scenario.scenario.Scenario:Output directory does not exist! Will be created.                                                                                                                                         
DEBUG:smac.scenario.scenario.Scenario:Writing scenario-file to smac3-output_2021-06-29_11:06:53_952611/run_12345/scenario.txt.                                                                                                  
DEBUG:smac.scenario.scenario.Scenario:Setting the pcs_fn-attr of written scenario from pcs/all_params.pcs to smac3-output_2021-06-29_11:06:53_952611/run_12345/all_params.json                                                  
WARNING:smac.facade.smac_ac_facade.SMAC4AC:Runtime as objective automatically activates log(y) transformation                                                                                                                   
INFO:smac.initial_design.default_configuration_design.DefaultConfiguration:Running initial design for 1 configurations                                                                                                          
INFO:smac.optimizer.smbo.SMBO:Running initial design                                                                                                                                                                            
DEBUG:smac.intensification.intensification.Intensifier:Using challengers provided                                                                                                                                               
DEBUG:smac.optimizer.smbo.SMBO:Total time: 0.0001, time spent on choosing next configurations: 0.0001 (0.50), time left for intensification: 0.0001 (0.50)                                                                      
DEBUG:smac.optimizer.smbo.SMBO:Intensify - evaluate challenger                                                                                                                                                                  
INFO:smac.intensification.intensification.Intensifier:First run, no incumbent provided; challenger is assumed to be the incumbent                                                                                               
DEBUG:smac.intensification.intensification.Intensifier:Intensify on Configuration:                                                                                                                                              
  @0:1:sat-prepro, Value: '2'                                                                                                                                                                                                   
  @0:2:sat-prepro, Value: 10                                                                                                                                                                                                    
  @0:3:sat-prepro, Value: 25                                                                                                                                                                                                    
  @0:4:sat-prepro, Value: '0'                                                                                                                                                                                                   
  @0:5:sat-prepro, Value: 0                                                                                                                                                                                                     
  @0:F:backprop, Value: 'yes'                                                                                                                                                                                                   
  @0:F:learn-explicit, Value: 'no'                                                                                                                                                                                              
  @0:F:no-gamma, Value: 'no'                                                                                                                                                                                                    
  @0:S:eqCond, Value: 'no'                                                                                                                                                                                                      
  @0:S:sat-prepro, Value: 'yes'                                                                                                                                                                                                 
  @0:no:eq, Value: '0'                                                                                                                                                                                                          
  @0:solver, Value: 'clasp3'                                                                                                                                                                                                    
  @0:trans-ext, Value: 'dynamic'                                                                                                                                                                                                
  @1:0:block-restarts, Value: '0'                                                                                                                                                                                               
  @1:0:del-cfl, Value: 'no'                                                                                                                                                                                                     
  @1:0:heuristic, Value: 'Vsids'                                                                                                                                                                                                
  @1:0:opt-strategy, Value: 'bb'                                                                                                                                                                                                
  @1:0:restarts, Value: 'x'                                                                                                                                                                                                     
  @1:0:strengthen, Value: 'local'                                                                                                                                                                                               
  @1:1:BB:opt-strategy, Value: 'lin'                                                                                                                                                                                            
  @1:1:Simp:restarts, Value: 128                                                                                                                                                                                                
  @1:1:counter-restarts, Value: 3                                                                                                                                                                                               
  @1:1:del-glue, Value: 2                                                                                                                                                                                                       
  @1:1:del-grow, Value: 1.1                                                                                                                                                                                                     
  @1:1:del-init, Value: 3.0                                                                                                                                                                                                     
  @1:1:deletion, Value: 'basic'                                                                                                                                                                                                 
  @1:1:lookahead, Value: 'no'                                                                                                                                                                                                   
  @1:1:strengthen, Value: 'all'                                                                                                                                                                                                 
  @1:1:update-lbd, Value: 'no'                                                                                                                                                                                                  
  @1:1:vsids:heuristic, Value: '95'                                                                                                                                                                                             
  @1:2:Geo:restarts, Value: 1.5                                                                                                                                                                                                 
  @1:2:counter-restarts, Value: 10                                                                                                                                                                                              
  @1:2:del-glue, Value: '0'                                                                                                                                                                                                     
  @1:2:del-grow, Value: 20.0                                                                                                                                                                                                    
  @1:2:del-init, Value: 1023                                                                                                                                                                                                    
  @1:2:deletion, Value: 75                                                                                                                                                                                                      
  @1:2:strengthen, Value: 'yes'                                                                                                                                                                                                 
  @1:3:del-init, Value: 9000                                                                                                                                                                                                    
  @1:3:deletion, Value: 'activity'                                                                                                                                                                                              
  @1:F:init-moms, Value: 'no'                                                                                                                                                                                                   
  @1:F:local-restarts, Value: 'no'                                                                                                                                                                                              
  @1:F:nant, Value: 'no'                                                                                                                                                                                                        
  @1:F:restart-on-model, Value: 'no'                                                                                                                                                                                            
  @1:F:sign-fix, Value: 'no'                                                                                                                                                                                                    
  @1:F:update-act, Value: 'no'                                                                                                                                                                                                  
  @1:F:vsids-acids, Value: 'no'                                                                                                                                                                                                 
  @1:No:contraction, Value: 'no'                                                                                                                                                                                                
  @1:No:vsids-progress, Value: 'no'                                                                                                                                                                                             
  @1:S:Geo:aryrestarts, Value: '2'                                                                                                                                                                                              
  @1:S:contraction, Value: 'no'                                                                                                                                                                                                 
  @1:S:counterCond, Value: 'yes'                                                                                                                                                                                                
  @1:S:del-grow, Value: 'yes'                                                                                                                                                                                                   
  @1:S:deletion, Value: 'yes'                                                                                                                                                                                                   
  @1:S:growSched, Value: 'no'                                                                                                                                                                                                   
  @1:S:vsids-progress, Value: 'no'                                                                                                                                                                                              
  @1:configuration, Value: 'auto'                                                                                                                                                                                               
  @1:del-estimate, Value: '0'                                                                                                                                                                                                   
  @1:del-max, Value: 250000                                                                                                                                                                                                     
  @1:del-on-restart, Value: 0
  @1:init-watches, Value: 'least'
  @1:loops, Value: 'no'
  @1:opt-heuristic, Value: '0'
  @1:otfs, Value: '2'
  @1:partial-check, Value: '0'
  @1:rand-freq, Value: '0.0'
  @1:reset-restarts, Value: 'no'
  @1:reverse-arcs, Value: '1'
  @1:save-progress, Value: 180
  @1:score-other, Value: 'loop'
  @1:score-res, Value: 'set'
  @1:sign-def, Value: 'asp'

DEBUG:smac.intensification.intensification.Intensifier:Configuration origin: Default
DEBUG:smac.intensification.intensification.Intensifier:No run for incumbent found
DEBUG:smac.intensification.intensification.Intensifier:Add run of incumbent
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Calling: setsid binaries/runsolver -C 10 -M 2048 -w /home/davila/git/potassco/acclingo/watcher-172338-jfjfeou8.log -o /home/davila/git/potassco/acclingo/solver-172338-qxprv8hy.log binaries/clingo  ./examples/pigeon-5.lp --seed 561383553  --backprop --trans-ext=dynamic --sat-prepro=2,10,25,0,0 --eq=0 --mode=clingo --configuration=config_file.tmp --quiet=2 --stats --parallel-mode=1
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Stdout: 
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Stderr: 
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Reading runsolver output from /home/davila/git/potassco/acclingo/watcher-172338-jfjfeou8.log
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:reading solver results from /home/davila/git/potassco/acclingo/solver-172338-qxprv8hy.log
WARNING:acclingo.tae.clasp_tae.ClaspTAE:Target algorithm crashed. Last 5 lines of stdout and stderr
WARNING:acclingo.tae.clasp_tae.ClaspTAE:
WARNING:acclingo.tae.clasp_tae.ClaspTAE:
DEBUG:acclingo.tae.clasp_tae.ClaspTAE:Return: Status: <StatusType.CRASHED: 3>, cost: 100.000000, time: 0.005862, additional: {}
DEBUG:smac.stats.stats.Stats:Saving stats to smac3-output_2021-06-29_11:06:53_952611/run_12345/stats.json
INFO:smac.stats.stats.Stats:##########################################################
INFO:smac.stats.stats.Stats:Statistics:
INFO:smac.stats.stats.Stats:#Incumbent changed: -1
INFO:smac.stats.stats.Stats:#Target algorithm runs: 1 / inf
INFO:smac.stats.stats.Stats:#Configurations: 1
INFO:smac.stats.stats.Stats:Used wallclock time: 0.28 / 360.00 sec 
INFO:smac.stats.stats.Stats:Used target algorithm runtime: 0.01 / inf sec
DEBUG:smac.stats.stats.Stats:Debug Statistics:
INFO:smac.stats.stats.Stats:##########################################################
INFO:smac.facade.smac_ac_facade.SMAC4AC:Final Incumbent: None
Traceback (most recent call last):
  File "scripts/acclingo", line 20, in <module>
    acc.main()
  File "/home/davila/git/potassco/acclingo/acclingo/acclingo.py", line 55, in main
    conf = smac.optimize()
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/facade/smac_ac_facade.py", line 555, in optimize
    incumbent = self.solver.run()
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/optimizer/smbo.py", line 211, in run
    time_bound=max(self.intensifier._min_time, time_left))
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/intensification/intensification.py", line 200, in eval_challenger
    self._add_inc_run(incumbent=incumbent, run_history=run_history)
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/intensification/intensification.py", line 305, in _add_inc_run
    instance_specific=self.instance_specifics.get(next_instance, "0"))
  File "/home/davila/miniconda2/lib/python3.6/site-packages/smac/tae/execute_ta_run.py", line 254, in start
    raise FirstRunCrashedException("First run crashed, abort. "
smac.tae.execute_ta_run.FirstRunCrashedException: First run crashed, abort. Please check your setup -- we assume that your defaultconfiguration does not crashes. (To deactivate this exception, use the SMAC scenario option 'abort_on_first_run_crash')

It seems that the problem is that the parameters are not correct for clingo-5.1 (the one in the binaries folder) but now I am trying and they seem to work for later versions of clingo.

[kstrauch94]

I would suggest to not use the binary in the folder. It is also possible to just give the command that you would normally use in the command line as a "binary". E.g. --binary clingo

[kstrauch94]

With the newest updates, we deleted the outdated binary that was in the clingo folder. You should now use your own binary or installation of clingo(e.g. a conda installation). We have also changed the default pcs file to pcs/all_params.pcs and deleted the outdated pcs file.

Hopefully, the changes resolve these problems.