update README w/ models

scott-cotton · scott-cotton · commit 864e5473ef26 · 2021-08-22T02:37:51.000+02:00
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# Gini SAT Solver
+# ⊧ Gini: A fast SAT solver.
 
 The Gini sat solver is a fast, clean SAT solver written in Go. It is to our knowledge
 the first ever performant pure-Go SAT solver made available.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# Gini SAT Solver`
	`1`	`+# ⊧ Gini: A fast SAT solver.`
`2`	`2`
`3`	`3`	`The Gini sat solver is a fast, clean SAT solver written in Go. It is to our knowledge`
`4`	`4`	`the first ever performant pure-Go SAT solver made available.`