LiMbS Solver
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/lihaokun/LiMbS
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了一个原型求解器的实现，旨在展示所提出算法在实数域多项式公式可满足性问题上的有效性。该求解器与流行的SMT求解器进行了比较，并在特定的硬件配置上进行了测试，每个测试的限时为5小时。该任务的目标是解决实数域上的多项式公式的可满足性问题。
This dataset contains the implementation of a prototype solver, which is designed to demonstrate the effectiveness of the proposed algorithm for the satisfiability problem of polynomial formulas over the real number field. This solver is compared against mainstream SMT solvers, and tested on a specific hardware configuration, with each test having a time limit of 5 hours. The goal of this task is to solve the satisfiability problem of polynomial formulas over the real number field.
提供机构：
Authors of the paper
