The boolean satisfaction and optimization library for .NET
Primary LanguageC#GNU Lesser General Public License v2.1LGPL-2.1