Choco
opennars
Our great sponsors
Choco | opennars | |
---|---|---|
4 | 5 | |
668 | 369 | |
1.0% | 1.9% | |
8.5 | 0.0 | |
3 days ago | about 3 years ago | |
Java | Java | |
BSD 4-Clause "Original" or "Old" License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Choco
-
Constraint Programming (2020)
There are quite a few out there. I played with gecode as well as https://choco-solver.org/ which I found intuitive and fun to use.
-
How to Corrupt an SQLite Database File
I personally doesn't get surprised by POSIX to consider it's violating this "least surprise" amount.
Instead, for example Java has given me much more surprises, and at catastrophic levels. I was using Choco Solver [0] back in the day, and I created two instances of it, attached to different classes. Which is perfectly normal, right?
Somehow they've cross linked between these two instances, affected the results they have computed, and created persistent memory leaks which needed system reboots to claim back. Java should be immune to that, but no.
Preventing that needed to run only one instance of Choco, which limited my performance greatly. Luckily, the system had a queue/consumer structure, so running only one didn't need extensive changes.
[0]: https://choco-solver.org/
-
Constraint Programming: Solving Sudoku with Choco Solver library
Sudoku is one of these types of problems, but it has very simple rules, so it’s a nice playground to try out different ways to solve graph colouring problems. This post outlines a solution using constraint programming with choco solver.
-
backtrack-rs: combinatorial search library, help me improve it!
- Choco (https://choco-solver.org/): state of the art trailing solver, heavily tested, easy to get started with and actively maintained. Written in Java.
opennars
- AGI frameworks
-
How will artificial general intelligence come?
(For research)Test Chamber, the most complex application with its doors keys and pizzas is nowhere near complexity of the real ant world. Saw the car detection and Lego bot too. https://github.com/opennars/opennars/wiki/Test-Chamber
- How to make/program an AI? Is it even possible?
-
AI on the PC for fun
Non Axiomatic Reasoning System
-
What would the algorithm of imagination look like?
You could also look at OpenNars, written by Pei Wang who studied with Hofstadter: https://github.com/opennars/opennars The theory behind the NARS system might approach what you are thinking about.
What are some alternatives?
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
Hodoku - Hodoku is a solver/generator/trainer/analyzer for standard sudoku.
JaCoP - Java Constraint Programming solver
opencog - A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)
gecode - Generic Constraint Development Environment
awesome-rust-formalized-reasoning - An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Decider - An Open Source .Net Constraint Programming Solver
OpenNARS-for-Applications - General reasoning component for applications based on NARS theory.
zebra4j - zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".
fastInvoiceAI - FastInvoiceAI - Automate accounting of Peppol and EHF invoices in Java
timefold-solver - The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems
Recaf - The modern Java bytecode editor