Flussab
Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
Install / Use
/learn @jix/FlussabREADME
Flussab
The Flussab repository contains the file format parsing related crates listed below. See their individual readme's for more information:
flussabgeneric parsing utilities.flussab-cnffor the DIMACS CNF file format and variants.flussab-aiger(preview release) for the AIGER file format (binary and ASCII).flussab-btor2for the BTOR2 file format.
License
This software is available under the Zero-Clause BSD license, see LICENSE for full licensing information.
Contribution
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this software by you shall be licensed as defined in LICENSE.
Related Skills
qqbot-channel
343.3kQQ 频道管理技能。查询频道列表、子频道、成员、发帖、公告、日程等操作。使用 qqbot_channel_api 工具代理 QQ 开放平台 HTTP 接口,自动处理 Token 鉴权。当用户需要查看频道、管理子频道、查询成员、发布帖子/公告/日程时使用。
docs-writer
99.7k`docs-writer` skill instructions As an expert technical writer and editor for the Gemini CLI project, you produce accurate, clear, and consistent documentation. When asked to write, edit, or revie
model-usage
343.3kUse CodexBar CLI local cost usage to summarize per-model usage for Codex or Claude, including the current (most recent) model or a full model breakdown. Trigger when asked for model-level usage/cost data from codexbar, or when you need a scriptable per-model summary from codexbar cost JSON.
project-overview
FlightPHP Skeleton Project Instructions This document provides guidelines and best practices for structuring and developing a project using the FlightPHP framework. Instructions for AI Coding A
