+ cat
+ /usr/local/bin/python3.9 test.py
Traceback (most recent call last):
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/groupby.py",
line 1490, in array_func
result = self.grouper._cython_operation(
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/ops.py",
line 959, in _cython_operation
return cy_op.cython_operation(
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/ops.py",
line 657, in cython_operation
return self._cython_op_ndim_compat(
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/ops.py",
line 482, in _cython_op_ndim_compat
res = self._call_cython_op(
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/ops.py",
line 541, in _call_cython_op
func = self._get_cython_function(self.kind, self.how, values.dtype,
is_numeric)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/ops.py",
line 173, in _get_cython_function
raise NotImplementedError(
NotImplementedError: function is not implemented for this dtype:
[how->mean,dtype->object]
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/usr/local/lib/python3.9/site-packages/pandas/core/nanops.py",
line 1692, in _ensure_numeric
x = float(x)
ValueError: could not convert string to float: '(G(F(p0))) &
(G(F(p1)))!((G(F(p0))) & (G(F(p1))))(G(F(p0))) -> (G(F(p1)))!((G(F(p0)))
-> (G(F(p1))))'
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/usr/local/lib/python3.9/site-packages/pandas/core/nanops.py",
line 1696, in _ensure_numeric
x = complex(x)
ValueError: complex() arg is a malformed string
The above exception was the direct cause of the following exception:
Traceback (most recent call last):
File
"/usr/ports/math/spot/work/spot-2.11.5/tests/core/ltlcross4.dir/test.py",
line 12, in <module>
print(x.filter(('formula', 'tool',
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/generic.py",
line 1269, in aggregate
result = op.agg()
File "/usr/local/lib/python3.9/site-packages/pandas/core/apply.py",
line 166, in agg
return self.agg_list_like()
File "/usr/local/lib/python3.9/site-packages/pandas/core/apply.py",
line 355, in agg_list_like
new_res = colg.aggregate(arg, *self.args, **self.kwargs)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/generic.py",
line 238, in aggregate
ret = self._aggregate_multiple_funcs(func, *args, **kwargs)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/generic.py",
line 316, in _aggregate_multiple_funcs
results[key] = self.aggregate(func, *args, **kwargs)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/generic.py",
line 250, in aggregate
return getattr(self, cyfunc)()
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/groupby.py",
line 1855, in mean
result = self._cython_agg_general(
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/groupby.py",
line 1507, in _cython_agg_general
new_mgr = data.grouped_reduce(array_func)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/internals/base.py",
line 197, in grouped_reduce
res = func(arr)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/groupby.py",
line 1503, in array_func
result = self._agg_py_fallback(values, ndim=data.ndim, alt=alt)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/groupby.py",
line 1457, in _agg_py_fallback
res_values = self.grouper.agg_series(ser, alt, preserve_dtype=True)
File
"/usr/local/lib/python3.9/site-packages/pandas/core/groupby/ops.py",
line 994, in agg_series
result = self._aggregate_series_pure_python(obj, func)
Version: 2.11.5
FreeBSD 13.2
Yuri
Hi,
I ran into a couple of issues when using SPOT in a project. I'll be glad
for any assistance.
1) I am calling sat_minimize from a python script using the spot python
library. Is there any way to set a timeout on this function call? Or do I
have to use the CLI if I want a timeout?
2) I am manipulating an automaton generated from an LTL formula, and then
printing it in HOA format. Is there a way to guarantee that the initial
state is the state numbered 0? If not, is there any other way to control
the naming of states?
Thank you,
Yoav Ben Shimon
Hello,
I was just curious if there were any plans to support building Spot on
windows? Or maybe any plans to use CMake in the future? If not, are
there any suggestions for building on windows?
Thanks,
Jonah