search

lsils / bill

C++ header-only reasoning library
MIT License
11 stars 6 forks source link

Resolve SAT solver linking issues #8

Closed hriener closed 5 years ago

hriener commented 5 years ago

The PR inlined methods, functions, and static variables in the solver implementations to resolve various linking problems.