nszw-solver