Awesome Open Source

Programming Languages

Search results for c plus plus sat

9 search results found

A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.

MonoSAT - An SMT solver for Monotonic Theories

Approxmc ⭐ 59

Approximate Model Counter

Bosphorus ⭐ 56

Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

The Standard Interface for Incremental Satisfiability Solving

Qo100_transceiver ⭐ 25

QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

Timetabler ⭐ 20

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

Paracooba ⭐ 12

Distributed and ressource elastic cube-and-conquer SAT & QBF solver

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)

C Plus Plus Command Line (2,304)

Javascript C Plus Plus (2,235)

C Plus Plus Data Structure (2,228)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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