snsinfu/dpll-sat snsinfu/dpll-sat

  • Stars
    star
    1
  • Language
    Rust
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
snsinfu/dpll-sat
github

snsinfu

Reviews

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

Repository Details

Naïve SAT solver implementing the classic DPLL algorithm

More Repositories

1

reverse-tunnel

Reverse tunnel TCP and UDP
Go
171
star
2

terraform-lambda-example

Hello World example of AWS Lambda
HCL
40
star
3

mac-wireguard-setup

Setup multiple wireguard tunnels on macOS as launchd services
Makefile
20
star
4

cxx-spline

Header-only cubic spline interpolator for C++
C++
17
star
5

cxx-ziggurat

Ziggurat normal random number generator
C++
4
star
6

hetzner-zfs-image

Scripts to create a reusable Hetzner cloud image that boots Debian on ZFS root
Shell
4
star
7

bit4

Random experiments in various languages
C++
3
star
8

2022a-genome-dynamics

C++
3
star
9

dotenv

ZSH/Bash shell function for loading environment variables from .env file. Supports gpg-encrypted files.
Shell
2
star
10

deno-oauth-1.0a

OAuth 1.0a Request Authorization for deno
TypeScript
2
star
11

frag

Stateful GLSL fragment shader runner
Go
2
star
12

xpipe

Split stdin and pipe each part to other command
C
1
star
13

hetzner-dokku-image

Packer template for a Debian Dokku image on Hetzner cloud
Shell
1
star
14

rainbow-tmux

Animate tmux in rainbow colors
Shell
1
star
15

envx

Set environment and execute a command
Shell
1
star
16

3dview

Python
1
star
17

torque-qtop

CUI job monitoring program for the torque resource manager
Go
1
star
18

femtomail

Fork of https://git.lekensteyn.nl/femtomail/ with FreeBSD support
C
1
star
19

uenv

Set environment from file and execute a command
C
1
star
20

3dpile

Abelian sandpile in 3D graphics
JavaScript
1
star
21

reconf

Generate config file and run command
Go
1
star
22

pseudoword

Generate random pseudowords with n-gram MCMC
Python
1
star
23

web-wordgen

MCMC pseudoword generator.
Python
1
star
24

cxx-getopt

Header-only POSIX getopt workalike for C++
C++
1
star
25

vim-autocommit

Git auto-commit plugin for vim
Vim Script
1
star
26

acol

Styles standard input in a tabular format like ls
Go
1
star
27

cxx14_range_algorithms

A single-file, header-only library of C++14 standard algorithms adapted to ranges
C++
1
star
28

cxx-distr

Efficient discrete random distribution for C++. The implementation uses array-based sum tree to allow fast sampling and updates of weighted events.
C++
1
star
29

f95-replica-exchange

Simple replica-exchange Langevin dynamics in Fortran 95 that samples from a one-dimensional multi-stable potential surface.
Jupyter Notebook
1
star