paultristanwagner/satisfiability-checking

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

GitHub repository with 5 stars and 0 forks.

Language: Java

Topics: bitvector, branch-and-bound, cdcl, cylindrical-algebraic-decomposition, dpll, eq, equf, java, lia, linear-integer-programming

Open provider repository

Latest metric snapshot

2026-07-21: 5 stars and 0 forks.

Trending in Java

  1. 1. iflytek/skillhub

    Self-hosted, open-source agent skill registry for enterprises. Publish & version skill packages, govern with RBAC and audit logs, deploy on-premise with Docker or Kubernetes.

    GitHub repository with 4,824 stars and 642 forks.

    Trending score: 5.19; stars gained: +842; forks gained: +9.

    Language: Java

    Topics: agent-framework, ai-agent, ai-governance, ai-infrastructure, ai-orchestration, audit-log

  2. 2. iflytek/astron-rpa

    Agent-ready RPA suite with out-of-the-box automation tools. Built for individuals and enterprises.

    GitHub repository with 6,028 stars and 590 forks.

    Trending score: 4.75; stars gained: +813; forks gained: +7.

    Language: Java

    Topics: agent, ai, astron, automation, data-privacy, enterprise

  3. 3. iflytek/astron-agent

    Enterprise-grade, commercial-friendly agentic workflow platform for building next-generation SuperAgents.

    GitHub repository with 9,462 stars and 868 forks.

    Trending score: 3.77; stars gained: +84; forks gained: +2.

    Language: Java

    Topics: agent, agentic-ai, agentic-workflow, ai, enterprise, enterprise-automation

  4. 4. Stirling-Tools/Stirling-PDF

    #1 PDF Application on GitHub that lets you edit PDFs on any device anywhere

    GitHub repository with 87,571 stars and 7,752 forks.

    Trending score: 3.67; stars gained: +162; forks gained: +24.

    Language: Java

    Topics: docker, hacktoberfest, java, pdf, pdf-converter, pdf-editor

  5. 5. github/copilot-sdk

    Multi-platform SDK for integrating GitHub Copilot Agent into apps and services

    GitHub repository with 10,033 stars and 1,353 forks.

    Trending score: 3.65; stars gained: +46; forks gained: +3.

    Language: Java

  6. 6. opendataloader-project/opendataloader-pdf

    PDF Parser for AI-ready data. Automate PDF accessibility. Open-source.

    GitHub repository with 27,574 stars and 2,648 forks.

    Trending score: 3.58; stars gained: +43; forks gained: +4.

    Language: Java

    Topics: a11y, accessibility, ai, bounding-box, document-parsing, eaa