tawSolver

This is Version 1.0. A later version is available on

https://github.com/OKullmann/oklibrary/blob/master/Satisfiability/Solvers/TawSolver/tawSolver.cpp

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow tawSolver

tawSolver Web Site

Other Useful Business Software

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it Free

Rate This Project

User Reviews

Be the first to post a review of tawSolver!

Additional Project Details

Intended Audience

Science/Research

Programming Language

C++

Related Categories

C++ Algorithms

Registered

2013-05-23

Similar Business Software

SpotBugs

It is free software, distributed under the terms of the GNU Lesser General Public License. SpotBugs is a fork of FindBugs (which is now an abandoned project), carrying on from the point where it left off with the support of its community. Please check the official manual for details. SpotBugs...

See Software
NVU

A complete web authoring system for Linux Desktop, Microsoft Windows and Macintosh users to rival programs like FrontPage and Dreamweaver. Nvu (pronounced N-view, for a "new view") makes managing a website a snap. Now anyone can create web pages and manage a website with no technical expertise...

See Software
Read the Docs

Spend your time on writing high quality documentation, not on the tools to make your documentation work. Read the Docs simplifies software documentation by automating building, versioning, and hosting of your docs for you. We will host your documentation for free, forever. There are no tricks....

See Software