robsimmons / batsat / 6450371901

100%

push

github

Move to a different solution API (#4)

Big changes!

- Instead of reading the solution off of the Problem, the solve() method returns a Solution (more like CatSAT).
- More tests, more coverage, better error messages.
- Deemphasize "predicate" terminology, "atom" terminology. Instead, attributes are assigned values, and propositions (either an attribute or its negation) can be satisfied or not.
- Some code refactoring, mostly to make the tsdoc output cleaner.
- tsdoc doesn't correctly handle getters, so just write those docs for Solution by hand.

187 of 187 branches covered (100.0%)

Branch coverage included in aggregate %.

81 of 81 new or added lines in 3 files covered. (100.0%)

253 of 253 relevant lines covered (100.0%)

37617.53 hits per line