Andreas Gocht-Zech

I think the MIToolbox is currently faster, as I only rely on numpy internal functions. But, I do not have some real numbers. However, a lot of the code seems...

Maybe mpi4py might help?

Thx. patch fixed the make error for me.

Hey, any updates? I accidentally implemented the same functionality 😄 Best, Andreas

add a backtrack: ``` #0 0x000074b8cd698d71 in __futex_abstimed_wait_common64 (private=29880, cancel=true, abstime=0x0, op=393, expected=0, futex_word=0x45799defadc) at ./nptl/futex-internal.c:57 #1 __futex_abstimed_wait_common (cancel=true, private=29880, abstime=0x0, clockid=0, expected=0, futex_word=0x45799defadc) at ./nptl/futex-internal.c:87 #2 __GI___futex_abstimed_wait_cancelable64 (futex_word=futex_word@entry=0x45799defadc, expected=expected@entry=0,...

and the other thread: ``` (gdb) bt #0 0x000074b8c9c98f7f in Clasp::BasicSolve::State::solve(Clasp::Solver&, Clasp::SolveParams const&, Clasp::SolveLimits*) [clone .cold] () from /home/andreas/.spack/bootstrap/store/linux-x86_64/clingo-bootstrap-spack-et3twemsecqryfzl23e3cmsbca534dlo/lib64/libclingo.so.4 #1 0x000074b8c9e0014f in Clasp::SequentialSolve::doSolve(Clasp::SharedContext&, bk_lib::pod_vector const&) () from /home/andreas/.spack/bootstrap/store/linux-x86_64/clingo-bootstrap-spack-et3twemsecqryfzl23e3cmsbca534dlo/lib64/libclingo.so.4 #2 0x000074b8c9dffee2...

Hey, I'm currently out of office. But I'll check once I'm back Best, Andreas