/*
 * Copyright (c) 2016 Helmut Neemann
 * Use of this source code is governed by the GPL v3 license
 * that can be found in the LICENSE file.
 */

/**
 * Implementation of the algorithm from Quine and McCluskey
 */
package de.neemann.digital.analyse.quinemc;
