The project page for "ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming"
☆82Mar 15, 2026Updated 2 months ago
Alternatives and similar repositories for ConstraintLLM
Users that are interested in ConstraintLLM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆217Dec 27, 2025Updated 4 months ago
- 🔧 Base64 Proxy Tool - Cloudflare Workers代理工具，支持递归Base64解码、自定义UA和多层编码处理 A Cloudflare Workers-based proxy tool with recursive Base64 decod…☆33Feb 27, 2026Updated 2 months ago
- 2026最新赚钱方式！黑U搬砖骗局？狠狠薅骗子羊毛！☆208Feb 19, 2026Updated 3 months ago
- ☆214Dec 27, 2025Updated 4 months ago
- Obsidian plugin to convert XMind mind map files to JSON Canvas format☆134Jan 31, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- XSStrike-go☆92Updated this week
- ☆208Oct 1, 2025Updated 7 months ago
- [AAAI'26] MoBGS: Motion Deblurring Dynamic 3D Gaussian Splatting for Blurry Monocular Video☆100Jan 30, 2026Updated 3 months ago
- A modern, high-performance mathematical expression evaluator built with Pratt Parsing and Stack-based VM☆75Dec 1, 2025Updated 5 months ago
- ☆181Jul 18, 2025Updated 10 months ago
- mall项目是一套电商系统☆201Oct 17, 2025Updated 7 months ago
- ☆207Jan 13, 2025Updated last year
- A Management System for a Health Care Facility. The system includes Registration of patients, Making appointments, Storing patient record…☆90Nov 20, 2025Updated 6 months ago
- ☆134Dec 13, 2025Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 在线多人同步听歌平台 — 创建房间，邀请朋友，一起实时听同一首歌☆138Apr 22, 2026Updated last month
- 便捷注册ipv6域名及裂变，更换CF边缘证书机构☆107Nov 12, 2025Updated 6 months ago
- 使用 Telegram 机器人对 mihomo 远程规则文件进行自动化维护☆75May 8, 2026Updated 2 weeks ago
- 统一的前端开发工具集，旨在整合复杂状态、封装常用组件，简化的整个开发流程。☆106Mar 12, 2026Updated 2 months ago
- A powerful terminal coding agent based on Claude Agent SDK. Better then Claude Code when start up a new project, or u have no idea. Just …☆128Mar 5, 2026Updated 2 months ago
- 2026最新赚钱方式！黑U搬砖骗局？狠狠薅骗子羊毛！☆201Feb 20, 2026Updated 3 months ago
- A systems-engineering playbook for delivering complex hardware–software programs from 0→1. Includes reusable templates, execution framewo…☆173Feb 6, 2026Updated 3 months ago
- ☆271Nov 24, 2025Updated 6 months ago
- domain-check是基于 Cloudflare Worker 和 Worker KV 构建的域名到期监控仪表盘，支持自动 WHOIS 查询、分组管理、到期提醒、数据导入导出等功能☆71May 15, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆166Nov 28, 2025Updated 5 months ago
- ☆204Oct 1, 2025Updated 7 months ago
- A comprehensive Library Management System built using Java. This application features user-friendly interfaces for managing books, member…☆63Nov 20, 2025Updated 6 months ago
- Squash oci images implement with golang☆261Jul 6, 2025Updated 10 months ago
- 这是一个用于 Telegram Bot 管理和 HAX.CO.ID 数据中心监控的组合型项目，支持 **Docker 部署** 和 **服务器后台运行** 两种模式。☆285Nov 27, 2025Updated 5 months ago
- 🚀 AI-powered JavaScript Decompiler & Deobfuscator. 基于 AI 与 AST 的 JS 代码分析与混淆还原工具，把不可读的构建产物变成人能看懂的代码。☆132Jan 7, 2026Updated 4 months ago
- 一个 C++ 程序，从英文文本提取单词并统计词频，生成字母升序和词频降序两份词汇表。采用随机基准快速排序。A C++ program that extracts words from English text, counts their frequencies, and g…☆136Dec 30, 2025Updated 4 months ago
- ☆217Oct 8, 2023Updated 2 years ago
- ☆149Feb 6, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 微博超话签到脚本☆219Nov 28, 2025Updated 5 months ago
- 基于机器学习的网络安全检测系统 | 集成Kitsune/LUCID算法 | 支持ML/DL/RL模型 | 99.58%攻击检测准确率 | 19913 QPS | Docker/K8s部署☆201May 18, 2026Updated last week
- telegram voice chat ai bot☆269Sep 30, 2025Updated 7 months ago
- 一个计算机系统研究生的实时资源整理。A Real-time Curation for Computer System explorer.☆130Jan 22, 2026Updated 4 months ago
- 去中心化工具包☆444Updated this week
- Code of "HCLAA: Hierarchical Contrastive Learning with Adaptive Attention" (Information Sciences, 2026) Multi-view clustering☆118Feb 26, 2026Updated 2 months ago
- ☆276Jul 12, 2025Updated 10 months ago