Nauchnik/alias Nauchnik/alias

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    C++
  • License
    Other
  • Created almost 7 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Nauchnik/alias
github

Nauchnik

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

modulAr tooL for fInding bAckdoors for Sat (ALIAS)

More Repositories

1

pdsat

Parallel and Distributed SAT solver
C++
8
star
2

CluBORun

Tool for launching volunteer computing on computing clusters
Awk
3
star
3

CAMBALA

CAMBALA: Coupled Acoustic Modes with Bottom Attenuation in Linear Acoustics
C++
3
star
4

Local_search_LS

Local search for pseudotriples of Latin squares
C++
3
star
5

transalg-comparison

CNFs and additional data for comparison Transalg with other systems
C
2
star
6

AndersonAttack

Implementation of the Anderson attack on BOINC
TeX
1
star
7

utils

Utilities for encoding and solving SAT problems
C++
1
star