format (and add to CI) (#87)

Pins the black version. We'll have to update it periodically.

Author: alex-ozdemir

.github/workflows/ci.yml

@@ -14,6 +14,12 @@ jobs:
 
     - uses: actions/checkout@v2
 
+    - uses: psf/black@stable
+      with:
+        options: "--check --verbose"
+        src: "cvc5_pythonic_api"
+        version: "23.3.0"
+
     - uses: actions/checkout@v2
       with:
         repository: cvc5/cvc5

Makefile

@@ -7,7 +7,10 @@ check:
 	pyright ./cvc5_pythonic_api
 
 fmt:
-	black ./cvc5_pythonic_api
+	black --required-version 23.3.0 ./cvc5_pythonic_api
+
+check-fmt:
+	black --check --verbose --required-version 23.3.0 ./cvc5_pythonic_api
 
 coverage:
 	coverage run test_unit.py && coverage report && coverage html