Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2017

• Update apidocs

  enasca

  committedSep 5, 2017
  7c74524

• Add support for solving pseudo-boolean problems

  enasca

  committedSep 5, 2017
  33805df

Commits on Aug 19, 2017

• Update the javadoc.

  enasca

  committedAug 19, 2017
  d84f886

• Improve testing capabilities and organization.

  enasca

  committedAug 19, 2017
  2809dc5

Commits on May 26, 2017

• Add javadoc to the project tree.

  enasca

  committedMay 26, 2017
  b42802a

Commits on May 25, 2017

• Change the package name.

  enasca

  committedMay 25, 2017
  9358ffe

• Change "augmented ontology" to "constrained ontology".

  enasca

  committedMay 25, 2017
  6341aa2

• Fix a missing link.

  enasca

  committedMay 25, 2017
  b4d1f9c

Commits on May 21, 2017

• Add README and LICENSE.

  enasca

  committedMay 21, 2017
  5bbc325

• Change the NuSMV path for tests.

  enasca

  committedMay 21, 2017
  3d25234

Commits on May 18, 2017

• Remove extraneous statements from the generated NuSMV model.

  enasca

  committedMay 18, 2017
  d800ad1

Commits on May 17, 2017

• Translate CRISNER objects into NuSMV models

  enasca

  committedMay 17, 2017
  e6cd3ea

Commits on May 9, 2017

• Verify NuSMV models using the NuSeen API.

  enasca

  committedMay 9, 2017
  93c92d5

Commits on Feb 23, 2017

• Improve the BasePreferenceForest interface.

  enasca

  committedFeb 23, 2017
  a20e91f

Commits on Feb 17, 2017

• Minor improvements to readability.

  enasca

  committedFeb 17, 2017
  22453eb

• Rework the BooleanFormula hierarchy into a single class.

  enasca

  committedFeb 17, 2017
  7fbc1e6

• Switch to a light SAT4 solver.

  enasca

  committedFeb 17, 2017
  12c89ba

Commits on Feb 16, 2017

• Add a filtering method to BasePreferenceForest

  enasca

  committedFeb 16, 2017
  d55692e

Commits on Feb 9, 2017

• Rename the 'util' package to 'tree' and reorganize its contents.

  enasca

  committedFeb 9, 2017
  18a6a3b

• Add a specialized implementation of the preference tree for DIMACS literals.

  enasca

  committedFeb 9, 2017
  924831f

• Remove unused variables.

  enasca

  committedFeb 9, 2017
  1089493

• Declare the BooleanFormula implementations as explicit

  enasca

  committedFeb 9, 2017
  b2017b5

Commits on Feb 8, 2017

• Simplify the interaction between Collector and Constructor in LogicalSortedForest.

  enasca

  committedFeb 8, 2017
  1123063

Commits on Feb 6, 2017

• Adjust visibility modifiers throughout the API.

  enasca

  committedFeb 6, 2017
  afe3df7

• Make OntologicalConstraint an implementor of Set.

  enasca

  committedFeb 6, 2017
  74a4701

• Delete the README file.

  enasca

  committedFeb 6, 2017
  d31014f

• Support generic types in OntologicalConstraint.

  enasca

  committedFeb 6, 2017
  df6f056

• Fix a javadoc issue.

  enasca

  committedFeb 6, 2017
  71bd1fa

• Add a method that applies a user-defined reasoning service to the internal ontology.

  enasca

  committedFeb 6, 2017
  9c07167

• Improve the readability of code that uses PreferenceGraph.

  enasca

  committedFeb 6, 2017
  252bac7

• Improve the public interface of the class OntologicalCPNet.Table.

  enasca

  committedFeb 6, 2017
  7d954dc

Commits on Feb 5, 2017

• Restrict the visibility of some fields.

  enasca

  committedFeb 5, 2017
  4ffd3c4

• Add a building parameter in OntologicalCPNet.Builder

  enasca

  committedFeb 5, 2017
  fc838a1

• Rework the building process of the OntologicalCPNet class.

  enasca

  committedFeb 5, 2017
  7082979

• Make the DomainTable class public.

  enasca

  committedFeb 5, 2017
  dc9c065

Pagination

PreviousNext