Commit 53fab00
committed
Update spaghetti
Also add core generator script. Note that running this will not yield the exact same results as present in the repo because those were generated with a different version of spaghetti, the one this commit updates *from*.1 parent ab998b3 commit 53fab00
2 files changed
Lines changed: 21 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
- meson.build+7
- meson.options+1-1
- spaghetti/Occsat/Cryptominisat5.cpp+3-3
- spaghetti/Occsat/LuaInterface.cpp+12
- spaghetti/Occsat/Problem.hpp+12
- spaghetti/Occsat/ProblemHandle.cpp+84
- spaghetti/Occsat/ProblemHandle.hpp+21
- spaghetti/Occsat/Solution.hpp+12
- spaghetti/Occsat/Solver.cpp+47
- spaghetti/Occsat/Solver.hpp+7-22
- spaghetti/Occsat/SolverHandle.cpp+151
- spaghetti/Occsat/SolverHandle.hpp+28
- spaghetti/Occsat/Solvers.template.hpp+5
- spaghetti/Occsat/meson.build+45
- spaghetti/Optimize/Common.hpp+79
- spaghetti/Optimize/Design.cpp+298
- spaghetti/Optimize/Design.hpp+137
- spaghetti/Optimize/DesignHandle.cpp+173
- spaghetti/Optimize/DesignHandle.hpp+22
- spaghetti/Optimize/Energy.cpp+331
- spaghetti/Optimize/Energy.hpp+148
- spaghetti/Optimize/Link.hpp+31
- spaghetti/Optimize/LuaInterface.cpp+38
- spaghetti/Optimize/Node.hpp+22
- spaghetti/Optimize/Optimizer.cpp+208
- spaghetti/Optimize/Optimizer.hpp+85
- spaghetti/Optimize/OptimizerHandle.cpp+171
- spaghetti/Optimize/OptimizerHandle.hpp+28
- spaghetti/Optimize/Plan.hpp+119
- spaghetti/Optimize/PlanValue.cpp+26
- spaghetti/Optimize/PlanValue.hpp+16
- spaghetti/Optimize/Schedule.hpp+23
- spaghetti/Optimize/ScheduleHandle.cpp+105
- spaghetti/Optimize/ScheduleHandle.hpp+23
- spaghetti/Optimize/State.cpp+195
- spaghetti/Optimize/State.hpp+56
- spaghetti/Optimize/StateDump.cpp+217
- spaghetti/Optimize/StateGetEnergy.cpp+440
- spaghetti/Optimize/StateHandle.cpp+321
- spaghetti/Optimize/StateHandle.hpp+24
- spaghetti/Optimize/meson.build+25
- spaghetti/build.lua+9-1
- spaghetti/meson.build+2-64
- spaghetti/occsat.cpp-303
- spaghetti/optimize.cpp-3.1k
- spaghetti/runner.lua+9-7
0 commit comments