update metadata for 0.1.3

Author: philzook58

pyproject.toml

@@ -1,13 +1,16 @@
 [project]
 name = "knuckledragger"
-version = "0.1.2"
-authors = [{ name = "Philip Zucker", email = "philzook58@gmail.com" }]
+version = "0.1.3"
+authors = [{ name = "Philip Zucker", email = "philzuckerblog@gmail.com" }]
 description = "Interactive Theorem Prover"
 readme = "README.md"
 license = "MIT"
 classifiers = [
     "Programming Language :: Python :: 3",
     "Operating System :: OS Independent",
+    "Topic :: Scientific/Engineering :: Mathematics",
+    "Topic :: Software Development :: Disassemblers",
+
 ]
 requires-python = ">= 3.12"
 dependencies = ["z3-solver >= 4.15.4", "lark>=1.3.1"]
@@ -28,13 +31,34 @@ solvers = [
     "graphviz>=0.20.3",
 ]
 
+[build-system]
+requires = ["uv_build>=0.9.9,<0.10.0"]
+build-backend = "uv_build"
+[tool.uv.build-backend]
+source-exclude = [
+    "solvers/Prover9",
+    "solvers/gappa*",
+    "solvers/eprover",
+    "solvers/kissat",
+    "solvers/TPTP4X",
+    "solvers/nanoCoP-i20",
+    "solvers/*.zip",
+    "solvers/*.tar.gz",
+    "solvers/*.jar",
+    "solvers/eprover-ho",
+    "solvers/twee",
+    "solvers/vampire",
+    "solvers/vampire-ho",
+    "contrib/fast/test",
+]
+module-name = "kdrag"
 
 [tool.setuptools]
 include-package-data = true
 #package-dir = { "" = "kdrag" }
 #packages = ["kdrag"] # automatic discovery is better
 [tool.setuptools.package-data]
-knuckledragger = ["*.sh"]
+knuckledragger = ["*.sh", "*.c"]
 
 [tool.ruff]
 exclude = ["tests"]