SAT-Apps is a Scala library that tackles several NP-hard problems using Z3, an optimized SMT solver from Microsoft Research.
It also implements algorithmic data structures such as matrices, multisets, graphs and propositional logic.
Documentation: https://agilot.github.io/satapps/