Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/backlog-sprint-4 #59

Merged
merged 1 commit into from
Aug 29, 2023
Merged

Feature/backlog-sprint-4 #59

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
181 changes: 181 additions & 0 deletions doc/process/4-product-backlog.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,181 @@
# Product Backlog — Sprint 4

_Remaining tasks from the previous sprint:_

<table>
<thead>
<tr>
<th>Priority</th>
<th>Product Backlog Item</th>
<th>Sprint Task</th>
<th>Volunteers</th>
<th>New Estimation</th>
</tr>
</thead>
<tbody>
<tr>
<td>1</td>
<td rowspan="2">SAT problems</td>
<td>Problem representation</td>
<td>All</td>
<td>1</td>
</tr>
<tr>
<td>2</td>
<td>Problem instances</td>
<td>All</td>
<td>3</td>
</tr>
<tr>
<td>2</td>
<td rowspan="2">DPLL Completion</td>
<td>DPLL enrichment using avanced FP</td>
<td>Fabri</td>
<td>2</td>
</tr>
<tr>
<td>3</td>
<td>Validation and testing</td>
<td>Fabri</td>
<td>2</td>
</tr>
<tr>
<td>3</td>
<td rowspan="2">Code Organization</td>
<td>Test organization</td>
<td>All</td>
<td>1</td>
</tr>
<tr>
<td>3</td>
<td>Packages organization</td>
<td>All</td>
<td>1</td>
</tr>
<tr>
<td>1</td>
<td>Documentation</td>
<td>Requirements</td>
<td>All</td>
<td>3</td>
</tr>
<tr>
<td>2</td>
<td>BDD Tests</td>
<td>Cucumber features</td>
<td>All</td>
<td>1</td>
</tr>

</tbody>
</table>

_New tasks in this sprint:_

<table>
<thead>
<tr>
<th>Priority</th>
<th>Product Backlog Item</th>
<th>Sprint Task</th>
<th>Volunteers</th>
<th>Estimation</th>
</tr>
</thead>
<tbody>
<tr>
<td>1</td>
<td>Model utils improvement</td>
<td>Enable processing of "long" expressions</td>
<td>Fabri</td>
<td>5</td>
</tr>
<tr>
<td>3</td>
<td rowspan="3">DPLL improvement</td>
<td>Multi-Thread optimization</td>
<td>Fabri</td>
<td>3</td>
</tr>
<tr>
<td>2</td>
<td>Next solution mechanism</td>
<td>Fabri</td>
<td>5</td>
</tr>
<tr>
<td>4</td>
<td>Stop algorithm</td>
<td>Fabri</td>
<td>3</td>
</tr>
<tr>
<td>1</td>
<td rowspan="6">GUI improvement</td>
<td>Problem selection</td>
<td>Matteini/Paganelli</td>
<td>4</td>
</tr>
<tr>
<td>4</td>
<td>DSL legenda</td>
<td>Matteini/Paganelli</td>
<td>1</td>
</tr>
<tr>
<td>3</td>
<td>Input error handling</td>
<td>Matteini/Paganelli</td>
<td>2</td>
</tr>
<tr>
<td>3</td>
<td>Loading during the solving</td>
<td>Matteini/Paganelli</td>
<td>1</td>
</tr>
<tr>
<td>2</td>
<td>Reaction management in View</td>
<td>Matteini/Paganelli</td>
<td>3</td>
</tr>
<tr>
<td>3</td>
<td>Multiple solution output</td>
<td>All</td>
<td>1</td>
</tr>
<tr>
<td>2</td>
<td rowspan="2">Test</td>
<td>Cucumber plugin</td>
<td>Matteini</td>
<td>2</td>
</tr>
<tr>
<td>2</td>
<td>BDD testing</td>
<td>All</td>
<td>3</td>
</tr>
</tbody>
</table>

## Sprint Goal

The goals of this sprint are:

- Enable the processing of long expressions
- Provide the user a way to get all the solutions
- Encode the Nurse scheduling and Graph Coloring problems
- Improve the GUI

There will be the third pre-release of the project containing all these functionalities.

## Deadline

The deadline for this sprint is 11/09/2023.

---
[Previous](3-product-backlog.md)