regb/scabolic regb/scabolic

  • Stars
    star
    32
  • Rank 801,539 (Top 16 %)
  • Language
    Scala
  • License
    MIT License
  • Created almost 13 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
regb/scabolic
github

regb

Reviews

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

Repository Details

Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.

More Repositories

1

scala-game-library

Scala library for cross-platform 2D game development
Scala
152
star
2

cafesat

The CafeSat SMT solver for Scala
SMT
48
star
3

scala-smtlib

Scala library for parsing and printing the SMT-LIB format
SMT
44
star
4

scalanative-graphics-bindings

OpenGL and SDL2 bindings for Scala Native
Scala
41
star
5

scalavator

The unofficial Scala game
Scala
11
star
6

recipe-book

My favourite recipes
3
star
7

executable-mocks

Generate mocks for efficiently testing executables
Go
3
star
8

cafedoku

Sudoku solver based on the CafeSat solver
Scala
3
star
9

Reglang

New programming language
Scala
3
star
10

inca

Design progress on the Inca programming language
2
star
11

scalax

Scala symbolic expressions
Scala
1
star
12

sgl-starter-project

A simple starter project to use SGL
Scala
1
star
13

passman

Password manager for unix
Shell
1
star
14

scala-sexprs

Utilities to manipulate S-Expressions in Scala
Scala
1
star