Showing results for solving Vector
GitHub Repo
https://github.com/IBM/neuro-vector-symbolic-architectures
IBM/neuro-vector-symbolic-architectures
PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.
GitHub Repo
https://github.com/fdabrandao/vpsolver
fdabrandao/vpsolver
Arc-flow Vector Packing Solver (VPSolver)
GitHub Repo
https://github.com/Boolector/boolector
Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
GitHub Repo
https://github.com/CFD-Institute/Euler2D-KFVS
CFD-Institute/Euler2D-KFVS
2D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003
GitHub Repo
https://github.com/IBM/neuro-vector-symbolic-architectures-raven
IBM/neuro-vector-symbolic-architectures-raven
Example application of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.
GitHub Repo
https://github.com/PX4/eigen
PX4/eigen
Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
GitHub Repo
https://github.com/yav/sbv
yav/sbv
Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
GitHub Repo
https://github.com/microsoft/mcBV
microsoft/mcBV
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
GitHub Repo
https://github.com/esteininger/vector-search
esteininger/vector-search
The definitive guide to using Vector Search to solve your semantic search production workload needs.
GitHub Repo
https://github.com/skotz/captcha-breaking-library