#3SAT Solver: Model Listing

Counts Satisfiable Solutions

Brought to you by: mconnor3m

Add a Review

Downloads: 0 This Week

Last Update: 2016-07-15

Browse Code

Get an email when there's a new version of #3SAT Solver: Model Listing

#3SAT finds all satisfiable solutions to a 3CNF Formula. This particular solver can count or return all solutions or a hash of them in binary or Ascii format.

Features

Binary or Ascii output
Non-DPLL
Count or return all solutions

Project Activity

See All Activity >

Follow #3SAT Solver: Model Listing

#3SAT Solver: Model Listing Web Site

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Rate This Project

User Reviews

Be the first to post a review of #3SAT Solver: Model Listing!

Additional Project Details

Registered

2016-04-25

Report inappropriate content

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Make-It-So
Converts Visual Studio solutions to gcc makefiles for Linux
Sokoban Solver
An optimised solver for Sokoban (aka. Boxworld). The solver provides a graphical interface to edit levels and display their solutions.
STL for Sketchup
An STL format importer/exporter plugin script for Google SketchUp. Supports both binary and ASCII import and export.
libdxfrw
library to read dwg & read/write dxf files
ASOL -- Affine Solver
A branch-and-prune method to find all solutions to systems of nonlinear equations. The number of variables must equal the number of equations. The variables must have proper lower and upper bounds. The solver has an interface to the AMPL environment.