search

potassco / telingo

🕰️ A solver for temporal programs.
MIT License
22 stars 7 forks source link

Script support #18

Open francescodicosmo opened 8 months ago

francescodicosmo commented 8 months ago

Is it possible to enable script (Python) support in Telingo? I am getting this particular error (RuntimeError: :21:1-46:6: error: python support not available) when trying to run Telingo over a sample.lp file with some Python script definition in it. The complete log is below.

> telingo sample.lp

telingo version 2.1.1
Reading from sample.lp
Traceback (most recent call last):
  File "\\anaconda3\lib\site-packages\clingo\application.py", line 359, in _pyclingo_application_main
    app.main(Control(control), [_to_str(files[i]) for i in range(size)])
  File "\\anaconda3\lib\site-packages\telingo\__init__.py", line 171, in main
    future_sigs, program_parts = _tf.transform([f.read() for f in files], b.add)
  File "\\anaconda3\lib\site-packages\telingo\transformers\__init__.py", line 102, in transform
    _ast.parse_string(i, lambda s: append(transformer.visit(s)))
  File "C:\\anaconda3\lib\site-packages\clingo\ast.py", line 1322, in parse_string
    _handle_error(
  File "C:\\anaconda3\lib\site-packages\clingo\_internal.py", line 71, in _handle_error
    raise handler.error[0](handler.error[1]).with_traceback(handler.error[2])
  File "C:\\anaconda3\lib\site-packages\clingo\ast.py", line 1210, in _pyclingo_ast_callback
    callback(AST(ast))
  File "C:\\anaconda3\lib\site-packages\telingo\transformers\__init__.py", line 102, in <lambda>
    _ast.parse_string(i, lambda s: append(transformer.visit(s)))
  File "C:\\anaconda3\lib\site-packages\telingo\transformers\__init__.py", line 98, in append
    callback(s)
  File "C:\\anaconda3\lib\site-packages\clingo\ast.py", line 1377, in add
    _handle_error(_lib.clingo_program_builder_add(self._rep, statement._rep))
  File "C:\\anaconda3\lib\site-packages\clingo\_internal.py", line 75, in _handle_error
    raise RuntimeError(msg)
RuntimeError: <string>:21:1-46:6: error: python support not available

ERROR: (telingo): <string>:21:1-46:6: error: python support not available

UNKNOWN

Models       : 0+
Calls        : 1
Time         : 0.019s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s