mtsch/LVR-SAT-Solver mtsch/LVR-SAT-Solver

  • This repository has been archived on 25/Oct/2018
  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mtsch/LVR-SAT-Solver
github

mtsch

Reviews

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

Repository Details

Basic SAT Solver

More Repositories

1

Ripserer.jl

Flexible and efficient persistent homology computation.
Julia
61
star
2

mtsch-vcvrack-plugins

C++
15
star
3

PersistenceDiagrams.jl

Persistence Diagrams in Julia
Julia
13
star
4

Ripser.jl

Simple Ripser wrapper in Julia
Julia
8
star
5

involuted-persistent-homology-benchmarks

Julia
3
star
6

Manifolds.jl

Julia
1
star
7

IntrinsicMetrics.jl

Intrinsic (geodesic) metric approximation on manifolds.
Julia
1
star
8

Gutzwiller.jl

Gutzwiller stuff for Rimu.jl
Julia
1
star
9

Sekira.jl

Scripts for working with Rimu.jl
Julia
1
star