Awesome Open Source

Programming Languages

Search results for dimacs

10 search results found

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

Bosphorus ⭐ 56

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

Graph Coloring ⭐ 28

Graph grounding for graph coloring algorithms such as Welsh Powell and Evolution algorithms like Harmony Search and Genetic

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.

Python Nnf ⭐ 15

Manipulate NNF (Negation Normal Form) logical sentences

Max_clique ⭐ 12

Implementation of branch and bound algorithm for maximum clique problem

A diabolic implementation of mcSAT 😈

Dimacs Parser ⭐ 8

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.

LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.

Steiner Tree Results ⭐ 5

Results of popular Steiner tree instances

Related Searches

C Plus Plus Dimacs (6)

Graph Dimacs (5)

Python Dimacs (4)

Sat Solver Dimacs (4)

Graph Algorithms Dimacs (4)

Algorithms Dimacs (3)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

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