#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
AI-powered service management for IT and enterprise teams Icon
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
Login To 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