Flang system: A new version

  • Andrei Mantsivoda
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 844)


In this abstract we describe a new version of the Flang system [3]. In this version we have implemented a modified cc(FD) scheme [2]. The main novelties are that constructive disjunction (ConDis) and the cardinality operator (CardOp) from


  1. [1]
    P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, 1989.Google Scholar
  2. [2]
    P. Van Hentenryck, V.Saraswat, Y. Deville. Constraint processing in cc(FD). Draft, 1991.Google Scholar
  3. [3]
    A.Mantsivoda, V.Petukhin, A.Weimann. Memory Management of Constraints in Flang. 10th Int. Conf on Logic Prog., MIT Press, 1993, 633–646.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Andrei Mantsivoda
    • 1
  1. 1.Irkutsk UniversityIrkutskRussia

Personalised recommendations