Terms of Service

Effective date: January 1, 2025

1. Acceptance of terms

By accessing or using the website and services provided by Dinosat Inc. ("Dinosat," "we," "us," or "our"), you agree to be bound by these Terms of Service. If you do not agree to these terms, you must discontinue use of our website and services immediately.

2. Description of services

Dinosat provides research, tools, and consulting services related to Boolean satisfiability solving and formal verification. The specific scope, deliverables, and terms of any engagement are defined in separate agreements between Dinosat and the contracting party.

3. Intellectual property

All content, materials, software, and intellectual property available on our website or through our services are owned by Dinosat or its licensors and are protected by applicable intellectual property laws. You may not reproduce, distribute, modify, or create derivative works from any content without prior written authorization.

4. Use restrictions

You agree not to:

• Use our services for any unlawful purpose or in violation of any applicable regulations
• Attempt to gain unauthorized access to our systems, networks, or data
• Interfere with or disrupt the integrity or performance of our services
• Reverse engineer, decompile, or disassemble any software provided through our services
• Use automated systems to access our website in a manner that exceeds reasonable use

5. Disclaimer of warranties

Our website and services are provided on an "as is" and "as available" basis. To the fullest extent permitted by law, Dinosat disclaims all warranties, express or implied, including but not limited to implied warranties of merchantability, fitness for a particular purpose, and non-infringement. We do not warrant that our services will be uninterrupted, error-free, or secure.

6. Limitation of liability

To the maximum extent permitted by applicable law, Dinosat shall not be liable for any indirect, incidental, special, consequential, or punitive damages, including but not limited to loss of profits, data, or business opportunities, arising out of or in connection with your use of our services, regardless of the theory of liability.

7. Indemnification

You agree to indemnify, defend, and hold harmless Dinosat, its officers, directors, employees, and agents from and against any claims, liabilities, damages, losses, and expenses arising out of or in connection with your use of our services or violation of these Terms of Service.

8. Governing law

These Terms of Service shall be governed by and construed in accordance with the laws of the Republic of Seychelles, without regard to conflict of law principles. Any disputes arising under these terms shall be subject to the exclusive jurisdiction of the courts of the Republic of Seychelles.

9. Modifications

We reserve the right to modify these Terms of Service at any time. Changes become effective upon posting to our website. Your continued use of our services after any modifications constitutes acceptance of the revised terms. We encourage you to review these terms periodically.

10. Severability

If any provision of these Terms of Service is found to be unenforceable or invalid, that provision shall be limited or eliminated to the minimum extent necessary, and the remaining provisions shall remain in full force and effect.

11. Contact

For questions regarding these Terms of Service, please contact:
Dinosat Inc., Suite 9, Ansuya Estate, Royal Street, Victoria, Republic of Seychelles
Email: legal@dinosat.com