Repositories list

• regex2smtlib

  Public
  A regular expression to SMT-LIB constraint translator

  translationregular-expressionconstraints+ 2smtlibv2constraint-solver

  Java

  •

  MIT License

  •2•11•1•0•Updated Nov 21, 2018Nov 21, 2018

• cnetwork

  Public
  A constraint network for encoding and analysing variable relations

  constraint-satisfaction-problemconstraintsconstraint-propagation+ 1arc-consistency

  Java

  •

  European Union Public License 1.1

  •0•0•0•0•Updated Sep 2, 2018Sep 2, 2018

• cnetworkparser

  Public
  A constraint network parser

  Java

  •

  European Union Public License 1.1

  •0•0•1•0•Updated Sep 2, 2018Sep 2, 2018

• cnetwork-api

  Public
  Java

  •0•0•0•0•Updated Sep 2, 2018Sep 2, 2018

• cnetworktrans

  Public
  A constraint network translator

  Java

  •

  European Union Public License 1.1

  •0•0•0•0•Updated Dec 5, 2017Dec 5, 2017

• polyglot

  Public
  Java

  •

  European Union Public License 1.1

  •0•0•0•0•Updated Dec 4, 2017Dec 4, 2017