SAT-Apps
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.
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.