feat!: add `evaluate`, replacing `is_sat` #24

Job	Run time
Build and test (ubuntu-latest)	20s
Build and test (macos-latest)	23s
Build and test (windows-latest)	2m 0s
	2m 43s

Provide feedback