Search results

Problem running acclingo with clingo in clingo mode

Status: Open.

#12 In potassco/acclingo;

· javier-romero opened on Jun 25, 2021

Passing back options to clingo

Status: Open.

#11 In potassco/acclingo;

· javier-romero opened on Jun 25, 2021

Extract features for SMAC

Status: Open.

#5 In potassco/acclingo;

· wanko opened on Feb 28, 2017

Give option to add several encoding files

Status: Open.

#4 In potassco/acclingo;

· wanko opened on Feb 28, 2017

ADD solution quality parsing

Status: Open.

#3 In potassco/acclingo;

· wanko opened on Feb 27, 2017

Add Docu

Status: Open.

#2 In potassco/acclingo;

· wanko opened on Feb 27, 2017

add solution checking

Status: Open.

#1 In potassco/acclingo;

· wanko opened on Feb 27, 2017