asp-fzn

Python interface for asp-fzn which enables solving head-cycle free ASP programs via FlatZinc solvers via translation written in rust.

The inferface supports answer set solving through Python directly through MiniZinc, which needs to be installed on the system and in PATH.

Alternatively, FlatZinc solver directly, without MiniZinc, by passing their .msc file.

The package can also be used to translate ASP programs into FlatZinc and store the model in a file.

Example

Enumerating answer sets with CP-SAT (bundled in MiniZinc, which needs to be installed)

import aspfzn

prg = '''
a:- not b.
b :- not a.
c :- b.
'''
result = aspfzn.solve(prg, "cp-sat", all_solutions=True, on_solution=print)
print(result)

License

The code of this project is licensed under the Apache License 2.0.

Furthermore, note the following legal disclaimer:

This software is a research prototype only. It has not been tested for the use in or for products and/or services (in particular in any safety-relevant areas). It was solely published as part of the publication “ASP-FZN: A Translation-based Constraint Answer Set Solver“ and will neither be maintained nor monitored.

Robert Bosch GmbH is acknowledged for financial support.