Skip to content

Commit

Permalink
Update README.md with information on how to cite
Browse files Browse the repository at this point in the history
  • Loading branch information
sarsko authored Mar 6, 2023
1 parent 8b5c9aa commit cbd6a67
Showing 1 changed file with 27 additions and 1 deletion.
28 changes: 27 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -93,4 +93,30 @@ Overview of the repository: \
[/Robinson](/Robinson/) - A fully verified DPLL-based solver. \
[/mlcfgs](/mlcfgs/) - Output directory for generated mlcfg + Why3 session files. \
[/prelude](/prelude/) - Copy of [prelude](https://github.com/xldenis/creusot/tree/master/prelude) from the Creusot directory. Included here to make `cargo make` happy. \
[/tests](/tests/) - Directory for tests.
[/tests](/tests/) - Directory for tests.

## Citing CreuSAT
To cite, you may use the following:

BibLaTeX:
```BibTeX
@thesis{skotam_creusat_2022,
title = {{CreuSAT}, Using {Rust} and {Creusot} to create the world’s fastest deductively verified {SAT} solver},
url = {https://www.duo.uio.no/handle/10852/96757},
institution = {University of Oslo},
type = {Master's Thesis},
author = {Skotåm, Sarek Høverstad},
date = {2022},
}
```
BibTeX:
```BibTeX
@mastersthesis{skotam_creusat_2022,
title = {{CreuSAT}, Using {Rust} and {Creusot} to create the world’s fastest deductively verified {SAT} solver},
url = {https://www.duo.uio.no/handle/10852/96757},
school = {University of Oslo},
author = {Skotåm, Sarek Høverstad},
year = {2022},
}
```

0 comments on commit cbd6a67

Please sign in to comment.