Wrap up SAT/SMT

2025-06-12 15:13:14 -06:00
parent acd844bd4b
commit fe6add7c9d
5 changed files with 6 additions and 5 deletions
--- a/hugo.toml
+++ b/hugo.toml
@@ -1,6 +1,7 @@
 baseURL = 'https://example.org/'
 languageCode = 'en-us'
 title = 'Formal Methods Tools'
+enableEmoji = true
 theme = 'fmtools'

 [menus]
@@ -27,4 +28,4 @@ theme = 'fmtools'
  # system = 'systems'
  # interaction = 'interactions'
  # # formalism = 'formalisms'
-  # testThing = 'test ing'
+  # testThing = 'test ing'