*** Wartungsfenster jeden ersten Mittwoch vormittag im Monat ***

F
FlatZinc

Any
Batchfile
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
HTML
Java
JavaScript
Jinja
Jupyter Notebook
Makefile
MATLAB
PHP
Python
R
Shell
Tcl
TeX
TSX
TypeScript
VHDL
Vue

Projects with this topic

Sort by:

Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only

View asp-fzn project

KBS / BAI / asp-fzn

A tool that enables solving ASP programs via FlatZinc solvers. https://kr.tuwien.ac.at/systems/asp-fzn/

Answer Set P... FlatZinc Rust

1

Updated Oct 19, 2026

1 0 0 0

Updated Oct 19, 2026

[ 5.Nov 22h : 6,295 users | 1,476 groups | 9,843 projects ]