AndrewTruett/Boolean-Satisfiability-Solver AndrewTruett/Boolean-Satisfiability-Solver

  • Stars
    star
    4
  • Rank 3,287,111 (Top 65 %)
  • Language
    Racket
  • Created over 5 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AndrewTruett/Boolean-Satisfiability-Solver
github

AndrewTruett

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A non-deterministic approach to solving the Boolean Satisfiability Problem.

More Repositories

1

PizzaHub

Find the best choices for ordering your pizza!
HTML
2
star
2

AFT-Cash-Register

Simple, user friendly cash register software.
Python
1
star