Skip to content

Commit

Permalink
Image Caption
Browse files Browse the repository at this point in the history
  • Loading branch information
frankvegadelgado committed Dec 4, 2024
1 parent 4b9a189 commit f669d71
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
# CAPABLANCA| SAT Solver
![](capablanca.jpg)
![Jose Raul Capablanca (Third World Chess Champion from 1921 to 1927)](docs/capablanca.jpg)

# SAT Problem

Expand Down
Binary file removed capablanca.jpg
Binary file not shown.
2 changes: 1 addition & 1 deletion docs/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@
</head>
<body>
<h1>CAPABLANCA| SAT Solver</h1>
<p><img src="capablanca.jpg" alt=""></p>
<p><img src="capablanca.jpg" alt="Jose Raul Capablanca (Third World Chess Champion from 1921 to 1927)"></p>
<h1>SAT Problem</h1>
<p>Instance: A Boolean formula $\phi$ in CNF.</p>
<p>Question: Is $\phi$ satisfiable?</p>
Expand Down

0 comments on commit f669d71

Please sign in to comment.