Awesome Open Source

Programming Languages

Search results for c plus plus sat solver

16 search results found

Cryptominisat ⭐ 767

An advanced SAT solver

Simple Theorem Prover, an efficient SMT solver for bitvectors

Quadriflow ⭐ 337

QuadriFlow: A Scalable and Robust Method for Quadrangulation

The Chuffed CP solver

A Header-Only CDCL SAT Solver for Programming Contest

Timetabler ⭐ 20

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

Sudoku Example ⭐ 19

An example of C++ Sudoku solver using MiniSat library.

Lilotane ⭐ 16

Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)

Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.

Sat Solver Dpll ⭐ 14

A simple SAT solver that implements the DPLL algorithm with unit resolution

PEQNP Mathematical Solver

Glucose Syrup ⭐ 8

The Glucose SAT Solver

Jinkelasat ⭐ 8

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

Chaff_sat_solver ⭐ 7

Chaff SAT solver for CPSC 554

Alcazar Gen ⭐ 5

SAT-based generator for Alcazar puzzles

Cdcl Crypto ⭐ 5

CDCL(Crypto) SAT solver for cryptanalysis problems

Related Searches

C Plus Plus Cmake (8,712)

C Plus Plus Qt (8,557)

C Plus Plus Video Game (8,255)

C Plus Plus Algorithms (6,194)

C Plus Plus Opengl (4,396)

C Plus Plus 3d Graphics (3,196)

C Plus Plus Testing (2,735)

Java C Plus Plus (2,629)

C Plus Plus Command Line (2,304)

Javascript C Plus Plus (2,235)

1-16 of 16 search results

Privacy | About | Terms | Follow Us On Twitter

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