CNF Toolkit

CNF-toolkit is a simple library for constructing and manipulating boolean formulae in conjunctive normal form.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2), GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow CNF Toolkit

CNF Toolkit Web Site

Other Useful Business Software

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Rate This Project

User Reviews

Be the first to post a review of CNF Toolkit!

Additional Project Details

Languages

English

Intended Audience

Developers, Science/Research

Programming Language

C, C++

Related Categories

C++ Electronic Design Automation (EDA) Software, C++ Artificial Intelligence Software, C++ Mathematics Software, C Electronic Design Automation (EDA) Software, C Artificial Intelligence Software, C Mathematics Software

Registered

2007-04-19

Similar Business Software

Square 9

Square 9 removes the frustration of extracting data from documents, forms, and all external sources, so you can harness the full power of your information. Release your team from repetitive tasks while your work flows freely in areas like Accounts Payable, Order Processing, Customer and...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
ONLYOFFICE Docs

ONLYOFFICE is an open-source project that offers cloud-based and self-hosted solutions for business of all sizes. The key product is ONLYOFFICE Docs, a secure office suite that seamlessly integrates into the most popular platforms, e.g. Odoo, Alfresco, Confluence, Pipedrive, Redmine, SuiteCRM...

See Software
Wrike

Wrike’s powerful work management platform enables distributed teams to collaborate in real-time on complex projects. Our versatile, cloud-based software is trusted by top tech companies across the globe, including Siemens and Fitbit. Wrike’s award-winning features include cross-tagging,...

See Software
Pipedrive

Pipedrive is a web-based sales CRM (customer relationship management) software that lets sales teams track pipelines, optimize leads, manage deals and automate their entire sales process to focus on selling. Pipedrive’s simple interface empowers salespeople to streamline workflows and unite...

See Software
Google Cloud Platform

Google Cloud is a cloud-based service that allows you to create anything from simple websites to complex applications for businesses of all sizes. New customers get $300 in free credits to run, test, and deploy workloads. All customers can use 25+ products for free, up to monthly usage...

See Software