diff --git a/procedural/constraints/src/main/kotlin/gov/nasa/jpl/aerie/constraints/Constraint.kt b/procedural/constraints/src/main/kotlin/gov/nasa/jpl/aerie/constraints/Constraint.kt
new file mode 100644
index 0000000000..4a78ea3703
--- /dev/null
+++ b/procedural/constraints/src/main/kotlin/gov/nasa/jpl/aerie/constraints/Constraint.kt
@@ -0,0 +1,18 @@
+package gov.nasa.jpl.aerie.constraints
+
+import gov.nasa.jpl.aerie.timeline.CollectOptions
+import gov.nasa.jpl.aerie.timeline.plan.Plan
+
+/** The interface that all constraints must satisfy. */
+interface Constraint {
+  /**
+   * Run the constraint on a plan.
+   *
+   * The provided collect options are the options that the [Violations] result will be collected on after
+   * the constraint is run. The constraint does not need to use the options unless it collects a timeline prematurely.
+   *
+   * @param plan the plan to check the constraint on
+   * @param options the [CollectOptions] that the result will be collected with
+   */
+  fun run(plan: Plan, options: CollectOptions): Violations
+}