DubiousCactus / GeneticAlgorithm
Implementation of a simple genetic algorithm designed to solve the Traveling Salesman Problem, using ncurses to visualize the graph.
☆10Updated 6 years ago
Related projects: ⓘ
- Software to look for interrelationships between constants and find formulas for number sequences☆17Updated 5 months ago
- A small tool to convert math equations written in LaTeX to equivalent C-Code.☆48Updated 6 months ago
- Library for creation of SAT instances.☆16Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Modeling and Programming with Gecode☆44Updated last year
- The Pseudo-Boolean Solver MiniSat+☆27Updated 11 years ago
- Research library for compile time optimization☆12Updated 5 years ago
- Analytic Number Theory high-precision GnuMP routines☆15Updated 7 months ago
- Dimacs CNF utilities☆20Updated 7 months ago
- An improved version of `w`☆13Updated 7 years ago
- Runtime and miner for the LODA language written in C++☆21Updated this week
- Superoptimizer using the z3 SMT solver☆15Updated 3 years ago
- Quick experiment to see how expensive safety is in C, for research☆11Updated 5 years ago
- A simple CAS written in C.☆10Updated 9 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆16Updated 7 years ago
- Graphviz Python dot generator☆40Updated 4 years ago
- Dimacs CNF utilities☆20Updated 13 years ago
- C Unit Testing Framework☆24Updated 5 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 2 years ago
- Accessible and modern implementations of common optimization algorithms.☆15Updated last year
- DSL for stencils and image processing☆13Updated 8 years ago
- A collection of open source math notes.☆29Updated last month
- An advanced automated reasoning tool for memory consistency model specifications.☆20Updated 2 years ago
- A collection of useful things; sometimes proofs of concepts, sometimes production-ready code.☆19Updated 4 years ago
- COIN-OR Utilities☆44Updated 2 weeks ago
- Cycle-accurate X86-64 simulator based on PTLsim☆27Updated last year
- GluCat: Clifford algebra templates☆19Updated last month
- OGDL for C☆17Updated 6 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆23Updated last year
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago