(* Autor(s): Andrej Dudenhefner (1) Affiliation(s): (1) Saarland University, Saarbrücken, Germany *)
(** ** FMsetC_SAT is undecidable *)
(* Undecidability Result(s): Finite Multiset Constraint Solvability (FMsetC_SAT) *)
Require Undecidability.SetConstraints.Reductions.H10UC_SAT_to_FMsetC_SAT.

(* Undecidability of Finite Multiset Constraint Solvability *)
Theorem FMsetC_SAT_undec : undecidable FMsetC_SAT.