From 242dd19fca78ab98dd53b84f807c18ac004b1a29 Mon Sep 17 00:00:00 2001
From: David Wang <millimillenary@gmail.com>
Date: Sun, 19 Feb 2017 08:01:54 +1100
Subject: [PATCH] Add puzzle type.

---
 src/lib.rs    |  4 ++++
 src/puzzle.rs | 23 +++++++++++++++++++++++
 2 files changed, 27 insertions(+)
 create mode 100644 src/puzzle.rs

diff --git a/src/lib.rs b/src/lib.rs
index e49bfe5..a7f7370 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -2,3 +2,7 @@
 //! The puzzle rules are expressed as constraints.
 
 extern crate bit_set;
+
+pub use puzzle::Puzzle;
+
+mod puzzle;
diff --git a/src/puzzle.rs b/src/puzzle.rs
new file mode 100644
index 0000000..0d0881a
--- /dev/null
+++ b/src/puzzle.rs
@@ -0,0 +1,23 @@
+//! The puzzle's state and rules.
+
+/// The puzzle to be solved.
+#[allow(dead_code)]
+pub struct Puzzle {
+    // The number of variables in the puzzle.
+    num_vars: usize,
+}
+
+impl Puzzle {
+    /// Allocate a new puzzle.
+    ///
+    /// # Examples
+    ///
+    /// ```
+    /// puzzle_solver::Puzzle::new();
+    /// ```
+    pub fn new() -> Self {
+        Puzzle {
+            num_vars: 0,
+        }
+    }
+}