mmaroti/vuampire mmaroti/vuampire

  • Stars
    star
    1
  • Language
    Python
  • License
    GNU General Publi...
  • Created 6 months ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mmaroti/vuampire
github

mmaroti

Reviews

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

Repository Details

More Repositories

1

cadical-rs

Rust bindings for the CaDiCaL SAT solver
Rust
7
star
2

machxo2-dev

Playground for MachXO2 FPGA development
Verilog
7
star
3

jnisat

Java JNI bindings for the PicoSat and MiniSat SAT solvers
Java
5
star
4

abstalg-rs

Abstract algebraic structures for Rust
Rust
5
star
5

prover9-mace4

Prover9-mace4 codebase for modernization
Python
4
star
6

vmcircbuf

Virtual memory backed circular buffer implementation in rust
Rust
4
star
7

shared

Just a bunch of java files for universal algebra and other research
Java
2
star
8

provers

A common python interface to multiple theorem proves
Python
2
star
9

prover9

Cleanup of prover9, mace4 and ladr from William McCune
C
1
star
10

plutosdr-dev

Tcl
1
star
11

uasat

SAT based universal algebra calculator
Java
1
star
12

bidir-js

Bidirectional transformation library for Brian
TypeScript
1
star