Recent changes to Home

Home modified by FiniteSatUSE Project

FiniteSatUSE Project — Thu, 10 May 2018 13:27:49 -0000

--- v11
+++ v12
@@ -1,6 +1,6 @@
 FiniteSatUSE is a tool for reasoning about correctness problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification for their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

-Read the README  file for using FiniteSatUSE.  For more details   we recommend reading the [User Manual](https://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2018/05/usermanual.pdf).  For more examples please follow the  [link](https://www.cs.bgu.ac.il/~modeling/?page_id=314)
+Read the README  file for using FiniteSatUSE.  For more examples please follow the  [link](https://www.cs.bgu.ac.il/~modeling/?page_id=314)

Home modified by BGU Modeling Group

BGU Modeling Group — Wed, 09 May 2018 11:11:30 -0000

--- v10
+++ v11
@@ -1,6 +1,6 @@
 FiniteSatUSE is a tool for reasoning about correctness problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification for their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

-[User Manual](https://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2018/05/usermanual.pdf)
+Read the README  file for using FiniteSatUSE.  For more details   we recommend reading the [User Manual](https://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2018/05/usermanual.pdf).  For more examples please follow the  [link](https://www.cs.bgu.ac.il/~modeling/?page_id=314)

Home modified by BGU Modeling Group

BGU Modeling Group — Wed, 09 May 2018 11:06:44 -0000

--- v9
+++ v10
@@ -5,4 +5,5 @@

+
 [[members limit=20]]

Home modified by BGU Modeling Group

BGU Modeling Group — Wed, 09 May 2018 11:04:39 -0000

--- v8
+++ v9
@@ -1,6 +1,6 @@
 FiniteSatUSE is a tool for reasoning about correctness problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification for their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

-[User Manual](https://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)
+[User Manual](https://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2018/05/usermanual.pdf)

Home modified by BGU Modeling Group

BGU Modeling Group — Wed, 09 May 2018 11:04:02 -0000

--- v7
+++ v8
@@ -1,6 +1,8 @@
 FiniteSatUSE is a tool for reasoning about correctness problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification for their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

+[User Manual](https://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)

-[User Manual](http://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)
+
+

 [[members limit=20]]

Home modified by BGU Modeling Group

BGU Modeling Group — Tue, 08 May 2018 07:41:25 -0000

--- v6
+++ v7
@@ -1,4 +1,4 @@
-FiniteSatUSE is a tool for reasoning about finite satisfiability problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.
+FiniteSatUSE is a tool for reasoning about correctness problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification for their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

 [User Manual](http://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)

Home modified by BGU Modeling Group

BGU Modeling Group — Thu, 03 May 2018 07:05:59 -0000

--- v5
+++ v6
@@ -1,4 +1,4 @@
-FiniteSatUSE is a tool for reasoning about finite satisfiability problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification their causes and reasoning about disjoint and incomplete constraints. 
+FiniteSatUSE is a tool for reasoning about finite satisfiability problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification their causes, reasoning about disjoint and incomplete constraints and removing redundancies in multiplicity constraints.

 [User Manual](http://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)

Home modified by BGU Modeling Group

BGU Modeling Group — Thu, 17 Jul 2014 10:21:27 -0000

--- v4
+++ v5
@@ -1,7 +1,5 @@
 FiniteSatUSE is a tool for reasoning about finite satisfiability problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification their causes and reasoning about disjoint and incomplete constraints.

-Download files:
-[[download_button]]

 [User Manual](http://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)

Home modified by BGU Modeling Group

BGU Modeling Group — Thu, 17 Jul 2014 10:20:50 -0000

--- v3
+++ v4
@@ -2,5 +2,7 @@

 Download files:
 [[download_button]]
+
 [User Manual](http://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)
+
 [[members limit=20]]

Home modified by BGU Modeling Group

BGU Modeling Group — Thu, 17 Jul 2014 10:20:16 -0000

--- v2
+++ v3
@@ -1,5 +1,6 @@
 FiniteSatUSE is a tool for reasoning about finite satisfiability problems in UML class diagrams. The tool provides verification methods for detection of finite satisfiability problems, identification their causes and reasoning about disjoint and incomplete constraints. 
+
+Download files:
+[[download_button]]
 [User Manual](http://www.cs.bgu.ac.il/~modeling/wp-content/uploads/2010/09/usermanual.pdf)
-
 [[members limit=20]]
-[[download_button]]