List view

is_CNF semantics

Status: Closed (completed).

#14 In QuMuLab/python-nnf;

· by blyxxyz was closed on Aug 10, 2020

Implement forgetting/projection

enhancementNew feature or requestNew feature or request

Status: Closed (completed).

#7 In QuMuLab/python-nnf;

· by haz was closed on Aug 7, 2020

Method that returns an arbitrary model (.solve())

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Closed (completed).

#15 In QuMuLab/python-nnf;

· by blyxxyz was closed on Aug 23, 2020

Improve the vars() computation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Closed (completed).

#12 In QuMuLab/python-nnf;

· by haz was closed on Aug 10, 2020

Shift to better SAT solving

enhancementNew feature or requestNew feature or request

Status: Closed (completed).

#4 In QuMuLab/python-nnf;

· by haz was closed on Aug 5, 2020

Include a Tseiten encoding

enhancementNew feature or requestNew feature or request

Status: Closed (completed).

#5 In QuMuLab/python-nnf;

· by haz was closed on Jul 31, 2020