Awesome Open Source

Programming Languages

Search results for sat solver minisat

8 search results found

Creusat ⭐ 563

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Minisat Rust ⭐ 51

Experimental minisat SAT solver reimplementation in Rust

A Header-Only CDCL SAT Solver for Programming Contest

A (parametrized) Rust SAT solver originally based on MiniSat

Kotlin Satlib ⭐ 8

🗿 SAT solver wrappers for Kotlin

Jinkelasat ⭐ 8

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

Alcazar Gen ⭐ 5

SAT-based generator for Alcazar puzzles

Related Searches

Python Sat Solver (61)

C Plus Plus Sat Solver (44)

C Sat Solver (25)

Sat Solver Satisfiability (21)

Smt Sat Solver (17)

Rust Sat Solver (12)

Sat Solver Cnf (11)

Java Sat Solver (10)

C Plus Plus Minisat (9)

Puzzle Sat Solver (9)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.