Project

General

Profile

Actions
Copy link

Homework #1581

open

DPLL Method

Added by Dajana Rexhaj almost 2 years ago. Updated almost 2 years ago.

Status:
New
Priority:
Normal
Assignee:
Dajana Rexhaj
Start date:
06/14/2023
Due date:
06/23/2023 (about 23 months late)
% Done:

50%

Estimated time:

Description

Create test cases for DPLL method just like in DLIS. Try different cases, clauses with a lot of variables, clauses with no input at all. Check again the assignments of the variables.

Actions
Copy link
 #1

Updated by Dajana Rexhaj almost 2 years ago

  • % Done changed from 0 to 50
Actions
Copy link
 #2

Updated by Dajana Rexhaj almost 2 years ago

  • Due date changed from 06/18/2023 to 06/23/2023

Bugs, when implementing GUI for DPLL I always get unsatisfiable formula even when this is not the case.

Actions
Copy link

Also available in: Atom PDF