Merge branch 'master' of github.com:arminbiere/gimsatul

arminbiere · Nov 6, 2023 · 09b1b3b · 09b1b3b
2 parents 39de022 + 42efcf0
commit 09b1b3b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -21,7 +21,6 @@ and
 <a href="https://cca.informatik.uni-freiburg.de/biere/index.html#publications">Armin Biere</a>.
 <br>
 <a href="https://cca.informatik.uni-freiburg.de/papers/FleuryBiere-ARXIV22.pdf">Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses</a>.
-<br>
 CoRR abs/2207.13577 (2022), presented at
 <a href="http://www.pragmaticsofsat.org/2022/">12th Workshop on Pragmatics of SAT (POS'22)</a>.
 <br>