asmeurer / packages / minisatp

• 0

MiniSat+ is a two-week hack done to enable Pseudo-Boolean constraints in MiniSat.

• Conda
• Files
• Labels
• Badges