Topic: sat Goto Github
Some thing interesting about sat
Some thing interesting about sat
sat,CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。关键词:CocosCreator、CocosCreator3、3、3.x、3.8、framework。
User: a1076559139
Home Page: https://www.cocos.com/en/creator
sat,T2Ti ERP 2.0 - Delphi
User: alberteije
Home Page: http://t2ti.com/erp2/
sat,:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
User: anuraghazra
Home Page: https://anuraghazra.github.io/Atomic.js
sat,The glucose SAT solver
User: audemard
Home Page: https://www.labri.fr/perso/lsimon/research/glucose/
sat,华中科技大学数据结构课程设计2018 An algorithm to solve SAT problem
User: billy1900
Home Page: https://github.com/Billy1900/DPLL-Algorithm
sat,The Standard Interface for Incremental Satisfiability Solving
User: biotomas
sat,Experimental model finder/SMT solver for functional programming.
User: c-cube
sat,Conjure: The Automated Constraint Modelling Tool
Organization: conjure-cp
sat,A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
User: gbury
sat,An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
User: hadipourh
Home Page: https://hadipourh.github.io/autoguess
sat,Faithful reimplementation of Minisat 2.2 in OCaml.
Organization: imandra-ai
sat,Implementations of the Separating axis theorem. Useful for convex collision detection.
User: juantaldea
Home Page: https://en.wikipedia.org/wiki/Hyperplane_separation_theorem
sat,SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
User: kapilhk
sat,英文单词,英语单词,英语四六级、考研、SAT单词,txt 文件, json 文件,CET4 CET6,乱序,单词
User: kylebing
sat,Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
User: leandrovip
sat,A Free World Class High Performance SAT Solver
User: maxtuno
Home Page: https://maxtuno.github.io/slime-sat-solver
sat,Approximate Model Counter
Organization: meelgroup
sat,Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Organization: meelgroup
sat,For CFDI 4.0 XML https://cfdi.recreando.dev/
User: misaelma
Home Page: https://cfdi.recreando.dev
sat,:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
User: mudler
Home Page: https://luet.io
sat,SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
User: nicolasamat
sat,Model finder for higher-order logic
Organization: nunchaku-inria
Home Page: https://nunchaku-inria.github.io/nunchaku/
sat,Librería para generar Comprobantes Fiscales (CFDI) para la versión 3.3
User: orlandocharles
sat,Librería para usar el servicio web del SAT de Descarga Masiva
Organization: phpcfdi
sat,Mirror não oficial do Projeto ACBr
Organization: projetoacbr
Home Page: https://www.projetoacbr.com.br
sat,Enhancing the Factorio experience with SAT solvers
User: r-o-c-k-e-t
sat,MonoSAT - An SMT solver for Monotonic Theories
User: sambayless
sat,CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
User: sarsko
sat,The best open-source python library to generate and process SAT's CFDI
Organization: sat-cfdi
Home Page: https://satcfdi.readthedocs.io
sat,SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Organization: sat-heritage
sat,Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
Organization: shaowei-cai-group
sat,The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
User: simewu
sat,A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
User: sukrutrao
Home Page: https://timetabler.readthedocs.io
sat,A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
User: t-dillon
Home Page: https://t-dillon.github.io/tdoku
sat,2D math / geometry collision library for C#, compatable with monogame.
User: tjstretchalot
sat,A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.
User: togatoga
sat,Boolean Constraint Solving in Prolog
User: triska
Home Page: https://www.metalevel.at/clpb/
sat,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 output format.
User: vsklad
Home Page: https://cgen.sophisticatedways.net
sat,a Pythonic toolkit for working with Boolean expressions
User: welchbj
Home Page: https://tt.brianwel.ch
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.