SpiceQA
Questions
Tags
Users
Badges
picat
5 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Picat functions in constraints
user_4453951
0
•
asked Apr 18, 2021
2
1
56
picat
Partition function P in Picat
Admin
1
•
asked Apr 11, 2021
2
2
98
picat
prolog
loops
Quine's algorithm with Single Sided Unification in Prolog
Admin
1
•
asked Feb 13, 2021
2
2
95
picat
propositional-calculus
unification
prolog
"Generating Numbers" Puzzle
user_9827302
0
•
asked Feb 9, 2021
2
1
167
picat
logic-programming
constraint-programming
list
How to use Picat to create CNF files from Minizinc files?
user_12317852
0
•
asked Aug 18, 2020
5
1
295
picat
sat
minizinc
constraint-programming
1
(current)
Hot Questions