mguenther / csp-solver-scala
Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.
☆10Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for csp-solver-scala
- Scala Algebra System☆15Updated 2 weeks ago
- C as an Embedded Language in Scala☆18Updated 9 years ago
- Pragmatic command line parsing and configuration for Scala apps☆13Updated last year
- High-performance helpers for working with flat arrays in Scala☆10Updated last week
- ☆15Updated 4 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Making the execution of system processes easier in Scala☆13Updated this week
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆29Updated 7 months ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- XML String Interpolator for Dotty☆32Updated 6 months ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Problem solving à la carte☆20Updated 2 years ago
- Lambda syntax for Scala EDSLs☆26Updated last year
- ☆11Updated 2 years ago
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Updated last year
- A recursive ascent/descent parser generator for Scala☆33Updated last year
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Cross Platform Scala 2d graphics (but 3d compatible), basic geometry, maps, Earth maps, hex-tiling and strategy library(s).☆22Updated this week
- Higher kinded data in Scala☆19Updated 3 months ago
- The semantic search engine where anyone can define anything anywhere☆30Updated 7 years ago
- Fast streams for Scala 3☆46Updated last year
- Sireum v3☆10Updated last year
- Scala library for accessing various file, batch systems, job schedulers and grid middlewares.☆27Updated 2 weeks ago
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆25Updated 3 months ago
- Memcached client for Scala☆50Updated 7 years ago
- ☆22Updated 10 years ago