Search results

MC-SAT fails with keyError

Status: Open.

#36 In danielnyga/pracmln;

· lrmjohansson opened on May 25, 2022

pip install dnutils error

Status: Open.

#35 In danielnyga/pracmln;

· zzu111 opened on Sep 8, 2021

two errors in \site-packages\pracmln\wcsp\wcsp.py when import MLN

Status: Open.

#34 In danielnyga/pracmln;

· NewBerd opened on Aug 27, 2020

is the StarndardGrammer parser really good for Alchemy mln files?

Status: Open.

#33 In danielnyga/pracmln;

· bhomass opened on Jun 11, 2020

no tools found after installation

Status: Open.

#32 In danielnyga/pracmln;

· bhomass opened on Jun 8, 2020

installation error on mac osx 10.15.2

Status: Open.

#31 In danielnyga/pracmln;

· andreaBelmont opened on Dec 17, 2019

dockerfile for building pracmln

Status: Open.

#30 In danielnyga/pracmln;

· cjen07 opened on Nov 28, 2019

Max-Walk-Sat and WCSP don't support formulas in queries

Status: Open.

#29 In danielnyga/pracmln;

· alex-quin-gabriel opened on Oct 2, 2019

python2 pip build fails, due to wrong version information (see inside for solution)

Status: Open.

#28 In danielnyga/pracmln;

· alex-quin-gabriel opened on Sep 11, 2019

TypeError: unhashable type: 'GroundLit'

Status: Open.

#27 In danielnyga/pracmln;

· tinicode opened on Jul 20, 2019

Are there good examples of using pracmln from a python script

Status: Open.

#26 In danielnyga/pracmln;

· SND8041 opened on Feb 13, 2019

ROS package

Status: Open.

#25 In danielnyga/pracmln;

· AnujGandhi123 opened on Nov 5, 2018