aboutsummaryrefslogtreecommitdiff
path: root/src/solver_step.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2023-03-05 10:13:01 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2023-03-05 10:13:01 +0100
commit87a15e960e31365698df7e06cd3e6b851e17c1a5 (patch)
tree606a42e6251df3c24d92a2edefce723bdd103620 /src/solver_step.h
parent3bfd0bb403d62bd942d1912d085ea59b156062fd (diff)
downloadnissy-87a15e960e31365698df7e06cd3e6b851e17c1a5.tar.gz
nissy-87a15e960e31365698df7e06cd3e6b851e17c1a5.zip
I made a mess, but it works. Still need to implement new optimal solver.
After that, a big redesign is due.
Diffstat (limited to 'src/solver_step.h')
-rw-r--r--src/solver_step.h12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/solver_step.h b/src/solver_step.h
new file mode 100644
index 0000000..f68d077
--- /dev/null
+++ b/src/solver_step.h
@@ -0,0 +1,12 @@
1#ifndef SOLVER_STEP_H
2#define SOLVER_STEP_H
3
4#include "cube.h"
5#include "solve.h"
6#include "steps.h"
7
8Solver *new_stepsolver_eager(Step *);
9Solver *new_stepsolver_lazy(Step *);
10void free_stepsolver(Solver *);
11
12#endif

Generated with cgit - Back to sebastiano.tronto.net