WIP

1 files changed, 9 insertions, 0 deletions

diff --git a/z3-solver/src/solving/mod.rs b/z3-solver/src/solving/mod.rs
new file mode 100644
index 0000000..f3f6673
--- /dev/null
+++ b/z3-solver/src/solving/mod.rs
@@ -0,0 +1,9 @@
+pub mod z3;
+
+#[derive(Debug, Eq, PartialEq, Ord, PartialOrd, Hash, Clone, Copy)]
+pub struct FloatHandle(u32);
+
+pub trait Solver {
+    // TODO: make handles generic?
+    fn new_float<'a>(&'a mut self, handles: &mut z3::Handles<'a>) -> FloatHandle;
+}