nicolaprezza/CTLSAT nicolaprezza/CTLSAT

  • Stars
    star
    14
  • Rank 1,413,011 (Top 29 %)
  • Language
    C++
  • License
    MIT License
  • Created about 10 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nicolaprezza/CTLSAT
github

nicolaprezza

Reviews

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

Repository Details

CTL (Computation Tree Logic) SAT solver

More Repositories

1

r-index

An optimal space run-length Burrows-Wheeler transform full-text index
C++
55
star
2

BWTIL

BWT Text Indexing Library: a set of tools to work with BWT-based text indexes
C++
25
star
3

Re-Pair

A space-efficient compressor based on the Re-Pair grammar
C++
10
star
4

lz-rlbwt

Run-length compressed BWT with LZ77 sampled suffix array
C++
10
star
5

progetto_PEL_22_23

Progetto Programmazione e Laboratorio 2022-2023
C++
9
star
6

cw-dBg

Compressed weighted de Bruijn graph
C++
6
star
7

ebwt2InDel

ebwt2InDel: find SNPs and InDels from the BWT of a fasta read set
C++
5
star
8

bwt2lcp

Compute the LCP array from the BWT of a set of DNA strings.
C++
5
star
9

ebwt2snp

Positional clustering of the extended Burrows-Wheeler transform
C++
3
star
10

high-order-lz77

LZ77 with High-order compressed pointers
C++
2
star
11

cvs-rk

Critical Variables Selection via Rabin-Karp hashing
C++
2
star
12

rlbwt2lcp

Compute minimum LCP value for each BWT equal-letter run
C++
1
star
13

bioinfo-tools

bash scripts to process fasta/vcf/.. files
Shell
1
star
14

resource_monitor

Monitor memory usage (start and max RSS) and running time of a Linux process
Shell
1
star
15

FMI

A simple wrapper on SDSL's FM-index
C++
1
star
16

slz-rlbwt

Super light index for repetitive text collections combining a sparse RLBWT with a sparse LZ77 parse
C++
1
star
17

rk-lce

RK-LCE: a in-place LCE data structure based on Mersenne prime numbers
C++
1
star
18

test-bs-aligner

shell scripts to generate a BS experiment dataset and test on it a BS aligner + methylation caller
Shell
1
star
19

get-git-revisions

Checks out the last n versions (commits) of a git repository and concatenates all .cpp and .hpp files in all downloaded versions in a single file. I use this script to generate repetitive datasets on which I test my compression algorithms.
Shell
1
star