Awesome Open Source

Programming Languages

Search results for c plus plus satisfiability

satisfiability x

9 search results found

Approxmc ⭐ 59

Approximate Model Counter

The Standard Interface for Incremental Satisfiability Solving

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.

The first scalable probabilistic exact counter

Timetabler ⭐ 20

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

Sat Solver Dpll ⭐ 14

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

Jinkelasat ⭐ 8

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

Quine Mccluskey ⭐ 7

DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm

Sat Encoding ⭐ 6

Encoding different problems into Boolean satisfiability

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)

Python C Plus Plus (5,771)

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)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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