#3SAT Solver: Model Listing Files

Counts Satisfiable Solutions

Brought to you by: mconnor3m

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
Makefile	2016-07-15	246 Bytes
CNF_solve4m.c	2016-07-15	72.2 kB
CNF_gen_test7.pl	2016-05-19	8.3 kB
Model_Listing_Summary.odt	2016-04-25	209.2 kB
BitVector_x86_64.c	2016-04-25	89.8 kB
BitVector_x86_64.h	2016-04-25	30.9 kB
COPYING	2016-04-25	35.1 kB
ToolBox64.h	2016-04-25	11.4 kB
Totals: 8 Items		457.1 kB

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

Start Free

Add Two Lines of Code. Get Full APM.

AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.

Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.

Start Free

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.

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