Solver.hpp File Reference

Contains the main solver class. More...

#include <memory>
#include "basic_structures.hpp"
#include "Clause.hpp"

Include dependency graph for Solver.hpp:

Go to the source code of this file.

Classes
class	sat::Solver
	Main solver class. More...

Namespaces
namespace	sat

Typedefs
using	sat::ClausePointer = std::shared_ptr< Clause >
using	sat::ConstClausePointer = std::shared_ptr< const Clause >

Detailed Description

Contains the main solver class.

Author

Tim Luchterhand

Date

27.11.24