Skip to content

mpnri/SAT-Solver

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

24 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SAT-Solver

Author: @mpnri

Development Setup

Setup Project

1- Please install nodejs and yarn first

2- On the project root folder run:

yarn install

3- Start development mode:

yarn dev

In development mode the input should be in DIMACS format.

For example:

p cnf 5 5
4 5
-4 1
-4 2 -3
-5 -2
-5 3

For more details -> click me:)!

image

Run Automated Tests

yarn test

It contains:

image

image

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published