27 results found Sort:
- Filter by Primary Language:
- C++ (6)
- Python (5)
- Pascal (3)
- C# (3)
- PHP (2)
- Rust (2)
- TypeScript (1)
- Go (1)
- Haskell (1)
- JavaScript (1)
- OCaml (1)
- +
Enhancing the Factorio experience with SAT solvers
Created
2021-08-06
70 commits to main branch, last one 5 months ago
英文单词,英语单词,英语四六级、考研、SAT单词,txt 文件, json 文件,CET4 CET6,乱序,单词
Created
2022-03-29
24 commits to master branch, last one about a year ago
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one 10 months ago
:package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning
Created
2019-06-05
1,506 commits to master branch, last one 2 months ago
a Pythonic toolkit for working with Boolean expressions
Created
2015-12-22
457 commits to develop branch, last one 3 months ago
A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
Created
2019-06-14
134 commits to master branch, last one about a year ago
CocosCreator游戏开发框架 — 入门轻松、功能强大、渐进式。An approachable, performant and versatile framework for building game clients. Topics:CocosCreator、CocosCreator3、3、3.x、3.8、framework.
Created
2023-07-04
365 commits to master branch, last one about a month ago
Projeto ACBr - O branch master é um repositório espelho do SVN original (svn://svn.code.sf.net/p/acbr/code/trunk2), criado e mantido com git-svn.
Created
2015-05-07
26,848 commits to master branch, last one about a month ago
PHP Common utilities for Mexican CFDI 3.2, 3.3 & 4.0
Created
2017-09-27
1,317 commits to master branch, last one a day ago
Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.
Created
2017-02-09
478 commits to master branch, last one 2 months ago
Librería para usar el servicio web del SAT de Descarga Masiva
Created
2019-07-31
504 commits to main branch, last one 10 months ago
MonoSAT - An SMT solver for Monotonic Theories
Created
2015-01-23
1,504 commits to master branch, last one about a year ago
Conjure: The Automated Constraint Modelling Tool
Created
2016-05-03
7,492 commits to main branch, last one 12 hours ago
The glucose SAT solver
Created
2023-05-09
12 commits to main branch, last one 3 months ago
Biblioteca para realizar impressões (impressora não fiscal) utilizando comandos Esc/Bema, Esc/Daruma e Esc/Pos :rocket:
Created
2019-03-17
73 commits to master branch, last one 2 years ago
Approximate Model Counter
Created
2018-11-11
709 commits to master branch, last one 7 months ago
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Created
2018-12-12
299 commits to master branch, last one 3 months ago
T2Ti ERP 2.0 - Delphi
Created
2019-04-13
10 commits to master branch, last one 4 years ago
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Created
2015-01-31
1,570 commits to master branch, last one 4 years ago
A ESC/POS Printer Commands Helper
Created
2019-08-23
130 commits to master branch, last one about a year ago
The best open-source python library to generate and process SAT's CFDI
Created
2022-11-24
259 commits to main branch, last one 22 hours ago
Mirror não oficial do Projeto ACBr
Created
2017-02-03
27,223 commits to master branch, last one 14 hours ago
2D math / geometry collision library for C#, compatable with monogame.
Created
2017-05-21
53 commits to master branch, last one 3 years ago
:collision: Atomic.js | Greatly Simple Physics Engine For Javascript
Created
2018-06-26
19 commits to master branch, last one 4 years ago
QO-100 Software Transceiver using an Adalm-Pluto and an SBC (Raspberry, Odroid ...)
Created
2021-05-25
176 commits to main branch, last one 3 months ago
业余无线电助手,基于Nonebot2
Created
2022-08-20
100 commits to main branch, last one 9 months ago
A verifier for Factorio blueprints, enabling one to automatically check logical properties
Created
2023-08-22
108 commits to main branch, last one 2 months ago