Robbepop/ipasir-rs Robbepop/ipasir-rs

  • Stars
    star
    1
  • Language
    Rust
  • License
    Other
  • Created over 6 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Robbepop/ipasir-rs
github

Robbepop

Reviews

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

Repository Details

FFI bindings for the IPASIR incremental SAT solver interface.

More Repositories

1

string-interner

A data structure to efficiently intern, cache and restore strings.
Rust
171
star
2

modular-bitfield

Macro to generate bitfields for structs that allow for modular use of enums.
Rust
160
star
3

prophet

A simple neural net implementation.
Rust
39
star
4

stevia

A simple (unfinished) SMT solver for QF_ABV.
Rust
35
star
5

apint

Arbitrary precision integers library.
Rust
27
star
6

enum-tag

Proc. macro to generate C-like `enum` tags.
Rust
13
star
7

dynarray

Adjusted implementation of std::experimental::dynarray without stack allocation.
C++
12
star
8

runwell

An experimental WebAssembly virtual machine.
Rust
12
star
9

dimacs-parser

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

clpp

A thin header-only wrapper around OpenCL 2.0+ for modern and highlevel C++.
C++
4
star
11

cionc

The toy-compiler for the Cion programming language.
Rust
4
star
12

union-fn

Proc macros for union function data structure.
Rust
4
star
13

enum-codec

Space-efficient codec for Rust `enum` types.
Rust
4
star
14

intx

Rust
3
star
15

non-pdsl-example

One of the most simplest smart contracts written without the pDSL
Rust
3
star
16

cnf-parser

Efficient and customizable CNF parser for SAT solving.
Rust
3
star
17

state_ptr

A pointer that allows to store state into unused bits of the address.
C++
3
star
18

bucket_vec

A vector-like collection that guarantees not to move its internal elements.
Rust
3
star
19

cionc-old

The compiler front end for the Cion programming language.
C++
2
star
20

indexmap-nostd

A `no_std` implementation of the `indexmap` crate.
Rust
2
star
21

two-phase-structure

A repo that describes a smart contract structure for the planned two-phase compilation approach.
Rust
2
star
22

addressable-pairing-heap

An addressable pairing heap implementation for Rust.
Rust
1
star
23

tyname

Retrieve type names during program execution on stable Rust.
Rust
1
star
24

wasm_kernel

A Wasm kernel for benchmarking wasmi.
Rust
1
star
25

rust_m3

An attempt at building a threaded code interpreter architecture in Rust.
Rust
1
star
26

enum-ref

Proc. macro for generating reference wrappers for Rust `enum` types.
Rust
1
star
27

interpreter-dispatch-research

Some research on efficient interpreter instruction dispatch in Rust.
Rust
1
star
28

multi-stash

A vector-like data structure that reuses slots for new elements.
Rust
1
star