sat-solver/build_automata.hpp
2025-03-07 09:45:39 -06:00

11 lines
157 B
C++

#include <automata.hpp>
#include <problem.hpp>
#include <cmdln_flags.hpp>
automata* build_automata(
cmdln_flags& flags,
refcounted<problem> p);