Invalid CPU Type

I'm currently attempting to use problog on macOS Tahoe (26.2), installed via pip 25.3 with python 3.13, and am running into an issue when attempting to query the tutorial program:

% Probabilistic facts:
0.5::heads1.
0.6::heads2.

% Rules:
someHeads :- heads1.
someHeads :- heads2.

% Queries:
query(someHeads).

Here is the crash log I get when executing problog test.problog:

Traceback (most recent call last):
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/tasks/probability.py", line 142, in execute
    formula = knowledge.create_from(db, engine=engine, database=db, **kwdargs)
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/core.py", line 156, in create_from
    return ProbLog.convert(obj, cls, **kwdargs)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/core.py", line 121, in convert
    next_obj = path[0](current_obj, path[1](**kwdargs), **kwdargs)
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/ddnnf_formula.py", line 307, in _compile_with_dsharp
    result = _compile(cnf, cmd, cnf_file, nnf_file)
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/ddnnf_formula.py", line 355, in _compile
    subprocess_check_call(cmd, stdout=OUT_NULL)
    ~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/util.py", line 185, in subprocess_check_call
    retcode = subprocess_call(*popenargs, **kwargs)
  File "/Users/gregory/miniconda/lib/python3.13/site-packages/problog/util.py", line 206, in subprocess_call
    process = subprocess.Popen(*popenargs, **kwargs)
  File "/Users/gregory/miniconda/lib/python3.13/subprocess.py", line 1039, in __init__
    self._execute_child(args, executable, preexec_fn, close_fds,
    ~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
                        pass_fds, cwd, env,
                        ^^^^^^^^^^^^^^^^^^^
    ...<5 lines>...
                        gid, gids, uid, umask,
                        ^^^^^^^^^^^^^^^^^^^^^^
                        start_new_session, process_group)
                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/Users/gregory/miniconda/lib/python3.13/subprocess.py", line 1972, in _execute_child
    raise child_exception_type(errno_num, err_msg, err_filename)
OSError: [Errno 86] Bad CPU type in executable: '/Users/gregory/miniconda/lib/python3.13/site-packages/problog/bin/darwin/dsharp'

An unexpected error has occurred.

Any help getting this working would be appreciated.

[rmanhaeve]

It seems to me that this is an issue with the bundled dsharp compiler, as it is not compiled for ARM processors. An alternative is to use the PySDD backend, which should be used automatically when available. Install with pip install pysdd