Skip to content

Commit

Permalink
Fix markdown in README.
Browse files Browse the repository at this point in the history
  • Loading branch information
@liffiton
liffiton committed Aug 8, 2017
1 parent 7461158 commit 87ffd3b
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -94,6 +94,6 @@ original set of input constraints (e.g., if MARCO reports an MSS "1 3 4" for a

## Authors

MARCO: Mark Liffiton and Wenting Zhao
MUSer2: Anton Belov, Norbert Manthey, and Joao Marques-Silva
MiniSAT: Niklas Een and Niklas Sörensson
- MARCO: Mark Liffiton and Wenting Zhao
- MUSer2: Anton Belov, Norbert Manthey, and Joao Marques-Silva
- MiniSAT: Niklas Een and Niklas Sörensson

0 comments on commit 87ffd3b

Please sign in to comment.