Skip to content

Commit

Permalink
Added src/ and parser/ folders
Browse files Browse the repository at this point in the history
  • Loading branch information
Cayden Codel authored and Cayden Codel committed Feb 12, 2022
1 parent 82b36f3 commit a46b7ac
Show file tree
Hide file tree
Showing 29 changed files with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
This repository contains an implementation of the "Divide and Distribute Fixed Weights" algorithm presented in the paper ["Neighbourhood Clause Weight Redistribution in Local Search for SAT"](https://www.researchgate.net/publication/29453919_Neighbourhood_Clause_Weight_Redistribution_in_Local_Search_for_SAT "DDFW paper") by Ishtaiwi, Thornton, Sattar, and Pham. The implementation in this repository differs from the original paper in that the clause weights are floating point numbers instead of integers, which allows for greater expression in the kinds of weight distribution policies available to the algorithm.

## Compilation
To compile, simply type
To compile, change your directory to `src/` and type
```bash
make
```
Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 comments on commit a46b7ac

Please sign in to comment.