Redmine@RISC

06/19/2023

08:20 PM SAT Solver Project Homework #1583 (New): DPLL Method

create some test cases for DPLLGui to check if the problems are in the implementation or some parts of the code are n... Dajana Rexhaj

08:15 PM SAT Solver Project Homework #1581: DPLL Method

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

06/14/2023

04:06 PM SAT Solver Project Homework #1582 (New): DPLL Method

Create an interface for DPLL method just like the one in DLIS. Try to use different components and layouts in order t... Dajana Rexhaj

04:04 PM SAT Solver Project Homework #1581 (New): DPLL Method

Create test cases for DPLL method just like in DLIS. Try different cases, clauses with a lot of variables, clauses wi... Dajana Rexhaj

06/11/2023

02:48 PM SAT Solver Project Homework #1580 (New): DLIS method

Test GUI knowledge for this algorithm. Choose a lay out and implement the following:
1-set title to DLIS Method
2-T... Dajana Rexhaj

02:42 PM SAT Solver Project Homework #1579 (New): DLIS method

Test DLIS algorithm in specific cases:
1-Few variables when one is repeated frequently (ex: 1 1 1 2).
2-No variable... Dajana Rexhaj