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 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

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
Adobe Acrobat

Adobe Acrobat Studio is a leading enterprise document platform built to scale for global teams — delivering AI-powered document intelligence, trusted PDF tools, and on-brand content creation in one secure solution. Core capabilities include PDF creation, editing, conversion, annotation,...

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
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
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

Report inappropriate content