The source code and executable of Nichrome can be obtained from the GitHub page of this project.

To use Nichrome, you need the following software:

• Java 1.6 or later.
• PostgreSQL 9.3.4 or later. We recommend to build and install PostgrelSQL from its source.
• A weighted partial MaxSAT solver. Nichrome relies on a MaxSAT solver to solve the generated weighted propositional formula. Any MaxSAT solver using input and output format specified by the MaxSAT evaluation suffices. We recommend MiFuMaX.
• LBX.
• (Optional) MCSls.
• (Optional) Gurobi.

The executable jar file of Nichrome is available here.