SAT Solver Template
Loading...
Searching...
No Matches
sat::concepts::scalar Concept Reference

#include <concepts.hpp>

Concept definition

template<typename T>
concept sat::concepts::scalar = traits::is_scalar_v<T>
Definition concepts.hpp:63

Detailed Description

Type that is either some integer or floating point type