NLIPSat

Yangli, Zhengling; Zheng, Zhifei; Cherif, Sami; Shibasaki, Rui Sá; Li, Chu-Min

doi:10.4230/artifacts.26928

Artifact

NLIPSat Software

Authors Zhengling Yangli , Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li

Part of: Collection: Supplementary Materials
License: Academic Free License v3.0
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26928
URN: urn:nbn:de:0030-drops-269282

Author Details

Zhengling Yangli

Yunnan University, China

Zhifei Zheng

Gaoling School of AI, Renmin University of China, Beijing, China

Sami Cherif

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Rui Sá Shibasaki

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Chu-Min Li

MIS UR 4290, Université de Picardie Jules Verne, Amiens, France

Content

Software (Source Code): https://github.com/ZhenglingYangli/NLIPSat-Toolkit
archived version

Version/Status

Content created at: 2026-05-07

Cite As Get BibTex

Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li. NLIPSat (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26928

Description

This supplementary material contains a first prototype of the NLIPSat toolkit for encoding nonlinear integer programming (NLIP) instances into weighted MaxSAT and solving them with modern MaxSAT engines. The toolkit supports multiple encoding strategies, optional order decomposition for high-degree terms, lightweight preprocessing, and solution verification. The material also includes benchmark collections used in our experiments.

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail